that the loess is not a countinghouse if that the sharp is not a 1750s is correct is wrong.
sent1: if something is not a Tet it is not a kind of a foam. sent2: the sharp does groove titrator. sent3: if the dimetrodon is a kind of a futurist the loess is a repletion. sent4: something is not a kind of a Tet and grooves titrator if it is a kind of a repletion. sent5: something that is not a kind of a sourwood is not a cold. sent6: the loess is a kind of a futurist if the dimetrodon is a kind of a repletion. sent7: the sharp is not piano. sent8: the loess is a kind of a 1750s. sent9: something is a countinghouse if it is not a foam. sent10: if the loess is not a foam it is a countinghouse. sent11: if the sharp is not a kind of a 1750s the dimetrodon is a futurist. sent12: the loess is not a cold. sent13: something that is a 1750s is not a futurist and is a countinghouse. sent14: if the loess is a repletion then the fact that it grooves titrator is true. sent15: something that is not a Reno is not normal. sent16: the loess is not a futurist if the dimetrodon is a countinghouse. sent17: if something does not foam it is not a countinghouse.
void -> assump1: Let's assume that the sharp is not a 1750s.; sent11 & assump1 -> int1: the dimetrodon is a kind of a futurist.; int1 & sent3 -> int2: the loess is a repletion.; sent4 -> int3: that the loess is not a Tet but it grooves titrator is not false if it is a repletion.; int2 & int3 -> int4: the loess is not a kind of a Tet and does groove titrator.; int4 -> int5: the loess is not a kind of a Tet.; sent1 -> int6: the loess is not a foam if that it is not a Tet is not false.; int5 & int6 -> int7: the loess does not foam.; sent17 -> int8: if the loess does not foam it is not a countinghouse.; int7 & int8 -> int9: the loess is not a countinghouse.; [assump1] & int9 -> hypothesis;
$hypothesis$ = that the loess is not a countinghouse if that the sharp is not a 1750s is correct is wrong. ; $context$ = sent1: if something is not a Tet it is not a kind of a foam. sent2: the sharp does groove titrator. sent3: if the dimetrodon is a kind of a futurist the loess is a repletion. sent4: something is not a kind of a Tet and grooves titrator if it is a kind of a repletion. sent5: something that is not a kind of a sourwood is not a cold. sent6: the loess is a kind of a futurist if the dimetrodon is a kind of a repletion. sent7: the sharp is not piano. sent8: the loess is a kind of a 1750s. sent9: something is a countinghouse if it is not a foam. sent10: if the loess is not a foam it is a countinghouse. sent11: if the sharp is not a kind of a 1750s the dimetrodon is a futurist. sent12: the loess is not a cold. sent13: something that is a 1750s is not a futurist and is a countinghouse. sent14: if the loess is a repletion then the fact that it grooves titrator is true. sent15: something that is not a Reno is not normal. sent16: the loess is not a futurist if the dimetrodon is a countinghouse. sent17: if something does not foam it is not a countinghouse. ; $proof$ = 
void -> assump1: Let's assume that the sharp is not a 1750s.; sent11 & assump1 -> int1: the dimetrodon is a kind of a futurist.; int1 & sent3 -> int2: the loess is a repletion.; sent4 -> int3: that the loess is not a Tet but it grooves titrator is not false if it is a repletion.; int2 & int3 -> int4: the loess is not a kind of a Tet and does groove titrator.; int4 -> int5: the loess is not a kind of a Tet.; sent1 -> int6: the loess is not a foam if that it is not a Tet is not false.; int5 & int6 -> int7: the loess does not foam.; sent17 -> int8: if the loess does not foam it is not a countinghouse.; int7 & int8 -> int9: the loess is not a countinghouse.; [assump1] & int9 -> hypothesis; __DISPROVED__