there is something such that the fact that it is not a coprolith and it does not suborn mower does not hold.
sent1: the pilferer is not a coprolith. sent2: the tuna is not a coprolith. sent3: there exists something such that that it is intolerable and not a list is not true. sent4: something does not lob escrow if the fact that it is not a kind of a voyager and is not tidal is not correct. sent5: the Appenzeller does not lob housework. sent6: the Appenzeller is not socioeconomic. sent7: there is something such that the fact that it does suborn cabin and it does not lob leu is incorrect. sent8: if the tuna is not a kind of a coprolith and it does not suborn mower then it is not feverish. sent9: the stoic does not suborn mower. sent10: something that is non-feverish is a kind of incongruous thing that is socioeconomic. sent11: the fact that the halitus does not suborn mower is true. sent12: The housework does not lob Appenzeller. sent13: if the Appenzeller does not lob housework then the fact that the alliterator is not a voyager and is not tidal does not hold. sent14: if the tuna is incongruous the pilferer is a brimstone. sent15: the alliterator is not a kind of a coprolith if that it is not a rotifer and it does not lob jaundice is incorrect. sent16: something is a heated if it is not a Tagus. sent17: if something is a voyager then it does not lob escrow. sent18: the tuna does not lob escrow. sent19: the Appenzeller does not suborn mower. sent20: if the fact that something is not a yard and is not a kind of a mean is not right it is not socioeconomic.
void -> assump1: Let's assume that the tuna is not a coprolith and it does not suborn mower.; sent8 & assump1 -> int1: the tuna is not feverish.; sent10 -> int2: if the tuna is not feverish it is a kind of incongruous thing that is socioeconomic.; int1 & int2 -> int3: the tuna is incongruous and it is socioeconomic.; int3 -> int4: the tuna is incongruous.; int4 & sent14 -> int5: that the pilferer is a brimstone hold.; sent4 -> int6: if the fact that the alliterator is not a voyager and it is not tidal is not right then it does not lob escrow.; sent13 & sent5 -> int7: that the alliterator is not a voyager and it is not tidal is wrong.; int6 & int7 -> int8: the alliterator does not lob escrow.;
the mower is non-socioeconomic if the fact that it is not a yard and not a mean is false.
sent20 -> hypothesis;
$hypothesis$ = there is something such that the fact that it is not a coprolith and it does not suborn mower does not hold. ; $context$ = sent1: the pilferer is not a coprolith. sent2: the tuna is not a coprolith. sent3: there exists something such that that it is intolerable and not a list is not true. sent4: something does not lob escrow if the fact that it is not a kind of a voyager and is not tidal is not correct. sent5: the Appenzeller does not lob housework. sent6: the Appenzeller is not socioeconomic. sent7: there is something such that the fact that it does suborn cabin and it does not lob leu is incorrect. sent8: if the tuna is not a kind of a coprolith and it does not suborn mower then it is not feverish. sent9: the stoic does not suborn mower. sent10: something that is non-feverish is a kind of incongruous thing that is socioeconomic. sent11: the fact that the halitus does not suborn mower is true. sent12: The housework does not lob Appenzeller. sent13: if the Appenzeller does not lob housework then the fact that the alliterator is not a voyager and is not tidal does not hold. sent14: if the tuna is incongruous the pilferer is a brimstone. sent15: the alliterator is not a kind of a coprolith if that it is not a rotifer and it does not lob jaundice is incorrect. sent16: something is a heated if it is not a Tagus. sent17: if something is a voyager then it does not lob escrow. sent18: the tuna does not lob escrow. sent19: the Appenzeller does not suborn mower. sent20: if the fact that something is not a yard and is not a kind of a mean is not right it is not socioeconomic. ; $proof$ = 
void -> assump1: Let's assume that the tuna is not a coprolith and it does not suborn mower.; sent8 & assump1 -> int1: the tuna is not feverish.; sent10 -> int2: if the tuna is not feverish it is a kind of incongruous thing that is socioeconomic.; int1 & int2 -> int3: the tuna is incongruous and it is socioeconomic.; int3 -> int4: the tuna is incongruous.; int4 & sent14 -> int5: that the pilferer is a brimstone hold.; sent4 -> int6: if the fact that the alliterator is not a voyager and it is not tidal is not right then it does not lob escrow.; sent13 & sent5 -> int7: that the alliterator is not a voyager and it is not tidal is wrong.; int6 & int7 -> int8: the alliterator does not lob escrow.; __UNKNOWN__