if the tormentor lathers ward-heeler then it is not a Michigander and it is a saddle.
sent1: the fact that the tormentor is not two-wheel is correct if it is not factual. sent2: something is a spam. sent3: if the Brazilian is a kind of a burrow then the tormentor does burrow. sent4: there is something such that it is not untraceable. sent5: the tormentor is mithraic if something that is not non-auxinic hurtles clack. sent6: the tormentor does saddle if it does not spam and it is not two-wheel. sent7: if something is not a burrow the fact that it is not non-auxinic and it is mithraic is incorrect. sent8: if there exists something such that it is not untraceable then the sepal is a kind of non-mononuclear thing that is not a burrow. sent9: if something is not untraceable then the fact that it is not factual and not mononuclear is false. sent10: the tormentor does not spam. sent11: something is auxinic if it lathers ward-heeler. sent12: the Brazilian lathers ward-heeler if that the clack spams is not incorrect. sent13: if the sepal is not mithraic the fact that it does lather ward-heeler and does hurtle clack does not hold. sent14: the Brazilian does hurtle clack if there is something such that the fact that it is not a Michigander but a saddle does not hold. sent15: that the weeder is not a Michigander but it is a saddle is not right. sent16: if the clack lathers ward-heeler then the Brazilian lathers ward-heeler. sent17: the tormentor is not factual. sent18: the largemouth is not arbitrative and it is not a kind of a jug. sent19: the tormentor does not hurtle clack if there is something such that that it is both auxinic and mithraic is incorrect. sent20: if there exists something such that it does not burrow and/or it is mithraic the sepal is not mononuclear. sent21: the clack either is a kind of a spam or lathers ward-heeler or both if there is something such that it does spam. sent22: the sepal does not hurtle clack. sent23: the CFO is not two-wheel. sent24: if there is something such that the fact that it is non-mononuclear hold the litterer is untraceable but it is not a baddeleyite.
sent4 & sent8 -> int1: the sepal is not mononuclear and it is not a burrow.; int1 -> int2: the sepal is not a burrow.; sent7 -> int3: if the sepal is not a burrow the fact that it is auxinic and it is mithraic is not true.; int2 & int3 -> int4: that the sepal is both not non-auxinic and not non-mithraic is not true.; int4 -> int5: there exists something such that the fact that it is auxinic and mithraic is wrong.; int5 & sent19 -> int6: the tormentor does not hurtle clack.; void -> assump1: Let's assume that the tormentor lathers ward-heeler.; int6 & assump1 -> int7: the tormentor does not hurtle clack but it lathers ward-heeler.; sent1 & sent17 -> int8: the fact that the tormentor is not two-wheel is true.; sent10 & int8 -> int9: the tormentor is not a spam and is not two-wheel.; sent6 & int9 -> int10: the tormentor is a saddle.;
the litterer is not a kind of a baddeleyite.
sent11 -> int11: if the Brazilian lathers ward-heeler then it is auxinic.; sent2 & sent21 -> int12: either the clack spams or it does lather ward-heeler or both.; int12 & sent12 & sent16 -> int13: the Brazilian lathers ward-heeler.; int11 & int13 -> int14: the Brazilian is auxinic.; sent15 -> int15: there is something such that that it is not a Michigander and saddles is not correct.; int15 & sent14 -> int16: the Brazilian hurtles clack.; int14 & int16 -> int17: the Brazilian is auxinic and it does hurtle clack.; int17 -> int18: there exists something such that it is auxinic and it does hurtle clack.; int18 & sent5 -> int19: the tormentor is mithraic.; int19 -> int20: the tormentor is not a burrow and/or it is mithraic.; int20 -> int21: either something is not a burrow or it is mithraic or both.; int21 & sent20 -> int22: the sepal is non-mononuclear.; int22 -> int23: there exists something such that it is not mononuclear.; int23 & sent24 -> int24: the litterer is untraceable but it is not a baddeleyite.; int24 -> hypothesis;
$hypothesis$ = if the tormentor lathers ward-heeler then it is not a Michigander and it is a saddle. ; $context$ = sent1: the fact that the tormentor is not two-wheel is correct if it is not factual. sent2: something is a spam. sent3: if the Brazilian is a kind of a burrow then the tormentor does burrow. sent4: there is something such that it is not untraceable. sent5: the tormentor is mithraic if something that is not non-auxinic hurtles clack. sent6: the tormentor does saddle if it does not spam and it is not two-wheel. sent7: if something is not a burrow the fact that it is not non-auxinic and it is mithraic is incorrect. sent8: if there exists something such that it is not untraceable then the sepal is a kind of non-mononuclear thing that is not a burrow. sent9: if something is not untraceable then the fact that it is not factual and not mononuclear is false. sent10: the tormentor does not spam. sent11: something is auxinic if it lathers ward-heeler. sent12: the Brazilian lathers ward-heeler if that the clack spams is not incorrect. sent13: if the sepal is not mithraic the fact that it does lather ward-heeler and does hurtle clack does not hold. sent14: the Brazilian does hurtle clack if there is something such that the fact that it is not a Michigander but a saddle does not hold. sent15: that the weeder is not a Michigander but it is a saddle is not right. sent16: if the clack lathers ward-heeler then the Brazilian lathers ward-heeler. sent17: the tormentor is not factual. sent18: the largemouth is not arbitrative and it is not a kind of a jug. sent19: the tormentor does not hurtle clack if there is something such that that it is both auxinic and mithraic is incorrect. sent20: if there exists something such that it does not burrow and/or it is mithraic the sepal is not mononuclear. sent21: the clack either is a kind of a spam or lathers ward-heeler or both if there is something such that it does spam. sent22: the sepal does not hurtle clack. sent23: the CFO is not two-wheel. sent24: if there is something such that the fact that it is non-mononuclear hold the litterer is untraceable but it is not a baddeleyite. ; $proof$ = 
sent4 & sent8 -> int1: the sepal is not mononuclear and it is not a burrow.; int1 -> int2: the sepal is not a burrow.; sent7 -> int3: if the sepal is not a burrow the fact that it is auxinic and it is mithraic is not true.; int2 & int3 -> int4: that the sepal is both not non-auxinic and not non-mithraic is not true.; int4 -> int5: there exists something such that the fact that it is auxinic and mithraic is wrong.; int5 & sent19 -> int6: the tormentor does not hurtle clack.; void -> assump1: Let's assume that the tormentor lathers ward-heeler.; int6 & assump1 -> int7: the tormentor does not hurtle clack but it lathers ward-heeler.; sent1 & sent17 -> int8: the fact that the tormentor is not two-wheel is true.; sent10 & int8 -> int9: the tormentor is not a spam and is not two-wheel.; sent6 & int9 -> int10: the tormentor is a saddle.; __UNKNOWN__