the fact that either the macintosh is not a looking or it is not pro-life or both is false.
sent1: if the bugle does efface Amphiumidae then the elephant-tusk is not a kind of a rapid. sent2: if that something is high-tension but it is not a blini is not true that it is not high-tension is not incorrect. sent3: if the bugle is a kind of a judiciousness it is a compact but not nondisposable. sent4: the bugle is nonexempt or it is not a nard or both if there is something such that it is nonexempt. sent5: something is not nondisposable if it does not compact and is not a judiciousness. sent6: the elephant-tusk is not a rapid if the bugle tins spaced. sent7: there exists something such that it is nonexempt. sent8: if something is nonexempt and/or not a nard it is not a kind of a nard. sent9: the bugle is not nondisposable if it is a judiciousness. sent10: if the bugle is a looking then that the equinox is a judiciousness but it is not a blini does not hold. sent11: the equinox is a blini and it does tin arbovirus if the macintosh is not nondisposable. sent12: the equinox is a blini if the elephant-tusk is high-tension. sent13: the fact that the elephant-tusk is high-tension but it is not a looking is wrong. sent14: something either does not look or is not pro-life or both if it is not high-tension. sent15: if the elephant-tusk tins arbovirus it is high-tension. sent16: the elephant-tusk tins arbovirus if the macintosh is not a looking or is non-pro-life or both. sent17: that something is a kind of a pumpkin that is not high-tension is false if it does tin arbovirus. sent18: the macintosh is a looking and/or it is not pro-life. sent19: the fact that the bugle is a kind of compact thing that is not nondisposable is false if the equinox is a blini. sent20: the fact that the bugle is a judiciousness hold. sent21: either something tins spaced or it effaces Amphiumidae or both if it is not a kind of a nard. sent22: the bugle is not nondisposable. sent23: that something is high-tension but it is not a blini is not right if it does not tin arbovirus. sent24: if the elephant-tusk tins arbovirus but it is not nondisposable the macintosh does not tins arbovirus.
void -> assump1: Let's assume that the macintosh does not look and/or it is not pro-life.; sent16 & assump1 -> int1: that the elephant-tusk tins arbovirus is right.; int1 & sent15 -> int2: the elephant-tusk is high-tension.; int2 & sent12 -> int3: the equinox is a blini.; int3 & sent19 -> int4: that the bugle is a compact but not nondisposable does not hold.; sent3 & sent20 -> int5: the bugle is both compact and not nondisposable.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
either the macintosh is not a kind of a looking or it is not pro-life or both.
sent14 -> int7: if the macintosh is not high-tension then it is not a kind of a looking and/or it is non-pro-life.; sent2 -> int8: the fact that the macintosh is not high-tension is not wrong if that it is high-tension and is not a kind of a blini is incorrect.; sent23 -> int9: if the macintosh does not tin arbovirus that that it is high-tension and it is not a kind of a blini hold is incorrect.;
$hypothesis$ = the fact that either the macintosh is not a looking or it is not pro-life or both is false. ; $context$ = sent1: if the bugle does efface Amphiumidae then the elephant-tusk is not a kind of a rapid. sent2: if that something is high-tension but it is not a blini is not true that it is not high-tension is not incorrect. sent3: if the bugle is a kind of a judiciousness it is a compact but not nondisposable. sent4: the bugle is nonexempt or it is not a nard or both if there is something such that it is nonexempt. sent5: something is not nondisposable if it does not compact and is not a judiciousness. sent6: the elephant-tusk is not a rapid if the bugle tins spaced. sent7: there exists something such that it is nonexempt. sent8: if something is nonexempt and/or not a nard it is not a kind of a nard. sent9: the bugle is not nondisposable if it is a judiciousness. sent10: if the bugle is a looking then that the equinox is a judiciousness but it is not a blini does not hold. sent11: the equinox is a blini and it does tin arbovirus if the macintosh is not nondisposable. sent12: the equinox is a blini if the elephant-tusk is high-tension. sent13: the fact that the elephant-tusk is high-tension but it is not a looking is wrong. sent14: something either does not look or is not pro-life or both if it is not high-tension. sent15: if the elephant-tusk tins arbovirus it is high-tension. sent16: the elephant-tusk tins arbovirus if the macintosh is not a looking or is non-pro-life or both. sent17: that something is a kind of a pumpkin that is not high-tension is false if it does tin arbovirus. sent18: the macintosh is a looking and/or it is not pro-life. sent19: the fact that the bugle is a kind of compact thing that is not nondisposable is false if the equinox is a blini. sent20: the fact that the bugle is a judiciousness hold. sent21: either something tins spaced or it effaces Amphiumidae or both if it is not a kind of a nard. sent22: the bugle is not nondisposable. sent23: that something is high-tension but it is not a blini is not right if it does not tin arbovirus. sent24: if the elephant-tusk tins arbovirus but it is not nondisposable the macintosh does not tins arbovirus. ; $proof$ = 
void -> assump1: Let's assume that the macintosh does not look and/or it is not pro-life.; sent16 & assump1 -> int1: that the elephant-tusk tins arbovirus is right.; int1 & sent15 -> int2: the elephant-tusk is high-tension.; int2 & sent12 -> int3: the equinox is a blini.; int3 & sent19 -> int4: that the bugle is a compact but not nondisposable does not hold.; sent3 & sent20 -> int5: the bugle is both compact and not nondisposable.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__