the saucer crops technobabble.
sent1: something crops technobabble if it is a Suriname. sent2: something is an umpire. sent3: something is an umpire and it anticipates indentation if it is not a dogbane. sent4: the saucer is a dogbane. sent5: there is something such that it does not anticipate Haganah. sent6: the surfperch is Erasmian. sent7: if the indentation is not an umpire then the statice anticipates indentation. sent8: the statice is an umpire if there is something such that that it is Erasmian thing that does not anticipate Haganah is not right. sent9: the statice is a kind of full-time thing that does not anticipate indentation. sent10: if the roughcast is not an umpire then the statice is not a kind of an umpire. sent11: the fact that the roughcast is not an umpire is correct. sent12: the saucer is a dogbane and it is a kind of a Suriname if the indentation does not anticipate indentation. sent13: the saucer does not crop technobabble if the fact that the surfperch does not crop technobabble is not wrong. sent14: that the roughcast is an umpire and not Erasmian is not right. sent15: the surfperch is a kind of a dogbane. sent16: the statice is a Suriname.
void -> assump1: Let's assume that that the surfperch is Erasmian thing that does not anticipate Haganah is not right.; assump1 -> int1: there is something such that that it is Erasmian and does not anticipate Haganah is wrong.; int1 & sent8 -> int2: the statice is an umpire.; sent10 & sent11 -> int3: the statice is not a kind of an umpire.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the surfperch is Erasmian but it does not anticipate Haganah.; int5 -> int6: there is something such that that it is a kind of Erasmian thing that does not anticipate Haganah is right.; sent1 -> int7: the saucer does crop technobabble if it is a kind of a Suriname.;
the saucer does not crop technobabble.
sent3 -> int8: if the statice is not a kind of a dogbane then it is a kind of an umpire and does anticipate indentation.;
$hypothesis$ = the saucer crops technobabble. ; $context$ = sent1: something crops technobabble if it is a Suriname. sent2: something is an umpire. sent3: something is an umpire and it anticipates indentation if it is not a dogbane. sent4: the saucer is a dogbane. sent5: there is something such that it does not anticipate Haganah. sent6: the surfperch is Erasmian. sent7: if the indentation is not an umpire then the statice anticipates indentation. sent8: the statice is an umpire if there is something such that that it is Erasmian thing that does not anticipate Haganah is not right. sent9: the statice is a kind of full-time thing that does not anticipate indentation. sent10: if the roughcast is not an umpire then the statice is not a kind of an umpire. sent11: the fact that the roughcast is not an umpire is correct. sent12: the saucer is a dogbane and it is a kind of a Suriname if the indentation does not anticipate indentation. sent13: the saucer does not crop technobabble if the fact that the surfperch does not crop technobabble is not wrong. sent14: that the roughcast is an umpire and not Erasmian is not right. sent15: the surfperch is a kind of a dogbane. sent16: the statice is a Suriname. ; $proof$ = 
void -> assump1: Let's assume that that the surfperch is Erasmian thing that does not anticipate Haganah is not right.; assump1 -> int1: there is something such that that it is Erasmian and does not anticipate Haganah is wrong.; int1 & sent8 -> int2: the statice is an umpire.; sent10 & sent11 -> int3: the statice is not a kind of an umpire.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the surfperch is Erasmian but it does not anticipate Haganah.; int5 -> int6: there is something such that that it is a kind of Erasmian thing that does not anticipate Haganah is right.; sent1 -> int7: the saucer does crop technobabble if it is a kind of a Suriname.; __UNKNOWN__