that the furniture is clausal and a knot is wrong.
sent1: that either the voice is clausal or it does not brush or both is incorrect. sent2: if the kicker brushes the furniture is clausal. sent3: the kicker brushes if it is empiric. sent4: if something is not a grocery and/or is not a kind of a host then it is a kind of a segno. sent5: the caimito is a grocery and it is a kind of an insulin. sent6: the kicker is not a grocery or hosts or both. sent7: the kicker either is not a grocery or is not a host or both. sent8: if something is not a host then it is a segno. sent9: if there is something such that it is not a segno then the furniture does not activate streptokinase. sent10: if the voice does not shiver odyssey then it does not activate annotator and is a segno. sent11: the kicker shivers odyssey if either it is a segno or it does not activate annotator or both. sent12: the kicker is a segno or it does activate annotator or both. sent13: the fact that the furniture is a knot is not incorrect. sent14: if the fact that the upper is a kind of a segno but it is not empiric is not right then it is not a segno. sent15: the kicker shivers odyssey if it does not activate annotator. sent16: the streptokinase activates streptokinase if the furniture does not activates streptokinase and it does not activate annotator. sent17: the kicker is empiric if it does shiver odyssey. sent18: the fact that the upper is a segno but it is not empiric does not hold. sent19: the kicker is a segno if it is not a kind of a host.
sent4 -> int1: the kicker is a segno if it is not a kind of a grocery and/or it does not host.; int1 & sent7 -> int2: the kicker is a kind of a segno.; int2 -> int3: either the kicker is a segno or it does not activate annotator or both.; int3 & sent11 -> int4: the kicker shivers odyssey.; int4 & sent17 -> int5: the kicker is empiric.; int5 & sent3 -> int6: the kicker is a kind of a brush.; int6 & sent2 -> int7: the furniture is clausal.; int7 & sent13 -> hypothesis;
that the furniture is clausal and it is a knot does not hold.
$hypothesis$ = that the furniture is clausal and a knot is wrong. ; $context$ = sent1: that either the voice is clausal or it does not brush or both is incorrect. sent2: if the kicker brushes the furniture is clausal. sent3: the kicker brushes if it is empiric. sent4: if something is not a grocery and/or is not a kind of a host then it is a kind of a segno. sent5: the caimito is a grocery and it is a kind of an insulin. sent6: the kicker is not a grocery or hosts or both. sent7: the kicker either is not a grocery or is not a host or both. sent8: if something is not a host then it is a segno. sent9: if there is something such that it is not a segno then the furniture does not activate streptokinase. sent10: if the voice does not shiver odyssey then it does not activate annotator and is a segno. sent11: the kicker shivers odyssey if either it is a segno or it does not activate annotator or both. sent12: the kicker is a segno or it does activate annotator or both. sent13: the fact that the furniture is a knot is not incorrect. sent14: if the fact that the upper is a kind of a segno but it is not empiric is not right then it is not a segno. sent15: the kicker shivers odyssey if it does not activate annotator. sent16: the streptokinase activates streptokinase if the furniture does not activates streptokinase and it does not activate annotator. sent17: the kicker is empiric if it does shiver odyssey. sent18: the fact that the upper is a segno but it is not empiric does not hold. sent19: the kicker is a segno if it is not a kind of a host. ; $proof$ = 
sent4 -> int1: the kicker is a segno if it is not a kind of a grocery and/or it does not host.; int1 & sent7 -> int2: the kicker is a kind of a segno.; int2 -> int3: either the kicker is a segno or it does not activate annotator or both.; int3 & sent11 -> int4: the kicker shivers odyssey.; int4 & sent17 -> int5: the kicker is empiric.; int5 & sent3 -> int6: the kicker is a kind of a brush.; int6 & sent2 -> int7: the furniture is clausal.; int7 & sent13 -> hypothesis; __DISPROVED__