the Rambouillet is not a fall.
sent1: the Nebuchadnezzar malingers kilohertz and is not overhand. sent2: something is passable if it does underdress. sent3: something is nebular. sent4: if something is not non-orthotropous then it does fall. sent5: the Rambouillet does not malinger kilohertz if that either the Durham is overhand or it does not malinger kilohertz or both is not correct. sent6: that the matchstick is not a kind of a Methodist and is infantile is wrong. sent7: if something is not infantile then it is not appellate and is not a Theban. sent8: the fact that the matchstick is a Methodist but it is not infantile is wrong. sent9: if something is not appellate and it is not a Theban then it is not a Methodist. sent10: the Durham is Theban. sent11: if the Durham is both not non-Methodist and not non-Theban the first-nighter is not appellate. sent12: if something malingers kilohertz then it is appellate. sent13: if the first-nighter is a ponderousness that either the Durham is overhand or it does not malinger kilohertz or both is not correct. sent14: if the Durham is not a Methodist the fact that the matchstick is Methodist thing that is infantile is incorrect. sent15: if the Durham is not a Methodist that the matchstick is not Methodist and it is non-infantile is false. sent16: the Rambouillet is orthotropous if that the matchstick is non-Methodist thing that is not infantile is false. sent17: something is not a fall if it is not Methodist. sent18: the first-nighter malingers kilohertz if the Nebuchadnezzar malingers kilohertz and is not overhand. sent19: the first-nighter is nebular and/or it is autarchic if there is something such that it is nebular. sent20: if the first-nighter is not non-nebular then it is a ponderousness. sent21: if the Durham is not Methodist then that the matchstick is a Methodist that is not infantile does not hold.
void -> assump1: Let's assume that the Durham is a Methodist.; assump1 & sent10 -> int1: that the Durham is Methodist thing that is a Theban is not wrong.; int1 & sent11 -> int2: the first-nighter is not appellate.; sent12 -> int3: the first-nighter is appellate if it does malinger kilohertz.; sent18 & sent1 -> int4: the first-nighter does malinger kilohertz.; int3 & int4 -> int5: the first-nighter is not non-appellate.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Durham is not a kind of a Methodist.; int7 & sent15 -> int8: that the matchstick is not Methodist and not infantile is not true.; int8 & sent16 -> int9: the Rambouillet is orthotropous.; sent4 -> int10: if the Rambouillet is orthotropous it falls.; int9 & int10 -> hypothesis;
if the provirus does underdress it is passable.
sent2 -> hypothesis;
$hypothesis$ = the Rambouillet is not a fall. ; $context$ = sent1: the Nebuchadnezzar malingers kilohertz and is not overhand. sent2: something is passable if it does underdress. sent3: something is nebular. sent4: if something is not non-orthotropous then it does fall. sent5: the Rambouillet does not malinger kilohertz if that either the Durham is overhand or it does not malinger kilohertz or both is not correct. sent6: that the matchstick is not a kind of a Methodist and is infantile is wrong. sent7: if something is not infantile then it is not appellate and is not a Theban. sent8: the fact that the matchstick is a Methodist but it is not infantile is wrong. sent9: if something is not appellate and it is not a Theban then it is not a Methodist. sent10: the Durham is Theban. sent11: if the Durham is both not non-Methodist and not non-Theban the first-nighter is not appellate. sent12: if something malingers kilohertz then it is appellate. sent13: if the first-nighter is a ponderousness that either the Durham is overhand or it does not malinger kilohertz or both is not correct. sent14: if the Durham is not a Methodist the fact that the matchstick is Methodist thing that is infantile is incorrect. sent15: if the Durham is not a Methodist that the matchstick is not Methodist and it is non-infantile is false. sent16: the Rambouillet is orthotropous if that the matchstick is non-Methodist thing that is not infantile is false. sent17: something is not a fall if it is not Methodist. sent18: the first-nighter malingers kilohertz if the Nebuchadnezzar malingers kilohertz and is not overhand. sent19: the first-nighter is nebular and/or it is autarchic if there is something such that it is nebular. sent20: if the first-nighter is not non-nebular then it is a ponderousness. sent21: if the Durham is not Methodist then that the matchstick is a Methodist that is not infantile does not hold. ; $proof$ = 
void -> assump1: Let's assume that the Durham is a Methodist.; assump1 & sent10 -> int1: that the Durham is Methodist thing that is a Theban is not wrong.; int1 & sent11 -> int2: the first-nighter is not appellate.; sent12 -> int3: the first-nighter is appellate if it does malinger kilohertz.; sent18 & sent1 -> int4: the first-nighter does malinger kilohertz.; int3 & int4 -> int5: the first-nighter is not non-appellate.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Durham is not a kind of a Methodist.; int7 & sent15 -> int8: that the matchstick is not Methodist and not infantile is not true.; int8 & sent16 -> int9: the Rambouillet is orthotropous.; sent4 -> int10: if the Rambouillet is orthotropous it falls.; int9 & int10 -> hypothesis; __DISPROVED__