the lame is not a smack.
sent1: if that the dogcart does smack and is not morphophonemic is true the lame is not a smack. sent2: there exists something such that it is not a kind of a wickiup. sent3: the Muller does not average feat if the metabolism is not a sureness. sent4: the dogcart averages bonanza and it does average feat if it is non-bursal. sent5: something averages bonanza if the fact that it is not a toga and it does not averages bonanza is wrong. sent6: the Muller is bursal if the archangel is indistinct. sent7: the humanitarian is a sureness that is morphophonemic. sent8: there is something such that it quells and is not a wickiup. sent9: the archangel is not morphophonemic or it is not indistinct or both. sent10: something is not a hypersecretion if it is morphophonemic. sent11: the dogcart is not a kind of a toga if something does not quell and is not a wickiup. sent12: the fact that the uptake is morphophonemic but not a toga is false if the dogcart is not a toga. sent13: the metabolism does not average bonanza and/or it is not a kind of a sureness if that the uptake is not a sureness is not false. sent14: if the metabolism does not average bonanza the Muller does not average feat. sent15: the humanitarian does not quell and it is not a wickiup. sent16: something is not a sureness if the fact that it is morphophonemic and it is not a kind of a toga is wrong. sent17: if the Muller does not average feat but it is bursal the lame does smack. sent18: the dogcart is not bursal. sent19: the archangel is indistinct.
sent15 -> int1: something does not quell and is not a wickiup.; int1 & sent11 -> int2: that the dogcart is not a toga is not incorrect.; int2 & sent12 -> int3: the fact that the uptake is morphophonemic but it is not a toga does not hold.; sent16 -> int4: the uptake is not a sureness if that it is morphophonemic and not a toga is false.; int3 & int4 -> int5: the uptake is not a sureness.; int5 & sent13 -> int6: the metabolism either does not average bonanza or is not a kind of a sureness or both.; int6 & sent14 & sent3 -> int7: the Muller does not average feat.; sent6 & sent19 -> int8: the Muller is bursal.; int7 & int8 -> int9: the Muller does not average feat and is bursal.; int9 & sent17 -> hypothesis;
the humanitarian is not a kind of a hypersecretion and does average bonanza.
sent10 -> int10: if the humanitarian is morphophonemic it is not a hypersecretion.; sent7 -> int11: the humanitarian is morphophonemic.; int10 & int11 -> int12: the fact that the humanitarian is not a kind of a hypersecretion is correct.; sent5 -> int13: if that the humanitarian is not a toga and does not average bonanza is false it average bonanza.; sent4 & sent18 -> int14: the dogcart does average bonanza and it averages feat.; int14 -> int15: the dogcart averages bonanza.; int15 -> int16: something does average bonanza.;
$hypothesis$ = the lame is not a smack. ; $context$ = sent1: if that the dogcart does smack and is not morphophonemic is true the lame is not a smack. sent2: there exists something such that it is not a kind of a wickiup. sent3: the Muller does not average feat if the metabolism is not a sureness. sent4: the dogcart averages bonanza and it does average feat if it is non-bursal. sent5: something averages bonanza if the fact that it is not a toga and it does not averages bonanza is wrong. sent6: the Muller is bursal if the archangel is indistinct. sent7: the humanitarian is a sureness that is morphophonemic. sent8: there is something such that it quells and is not a wickiup. sent9: the archangel is not morphophonemic or it is not indistinct or both. sent10: something is not a hypersecretion if it is morphophonemic. sent11: the dogcart is not a kind of a toga if something does not quell and is not a wickiup. sent12: the fact that the uptake is morphophonemic but not a toga is false if the dogcart is not a toga. sent13: the metabolism does not average bonanza and/or it is not a kind of a sureness if that the uptake is not a sureness is not false. sent14: if the metabolism does not average bonanza the Muller does not average feat. sent15: the humanitarian does not quell and it is not a wickiup. sent16: something is not a sureness if the fact that it is morphophonemic and it is not a kind of a toga is wrong. sent17: if the Muller does not average feat but it is bursal the lame does smack. sent18: the dogcart is not bursal. sent19: the archangel is indistinct. ; $proof$ = 
sent15 -> int1: something does not quell and is not a wickiup.; int1 & sent11 -> int2: that the dogcart is not a toga is not incorrect.; int2 & sent12 -> int3: the fact that the uptake is morphophonemic but it is not a toga does not hold.; sent16 -> int4: the uptake is not a sureness if that it is morphophonemic and not a toga is false.; int3 & int4 -> int5: the uptake is not a sureness.; int5 & sent13 -> int6: the metabolism either does not average bonanza or is not a kind of a sureness or both.; int6 & sent14 & sent3 -> int7: the Muller does not average feat.; sent6 & sent19 -> int8: the Muller is bursal.; int7 & int8 -> int9: the Muller does not average feat and is bursal.; int9 & sent17 -> hypothesis; __DISPROVED__