the boothose does surmise haft but it does not restrain wellerism.
sent1: if the haft does not surmise haft then the boothose does surmise haft. sent2: there is something such that it does not surmise haft. sent3: the haft is not revolutionary and does not surmise swiftlet if the pelisse does not burn. sent4: the pelisse is not a burn if the camshaft does not live. sent5: something does not surmise haft if the fact that it is not a kind of a arrowworm and it is not a kind of a spammer is not true. sent6: the yolk is not a spammer if something that is not geopolitical is unpaintable. sent7: the yolk is not a arrowworm. sent8: there exists something such that it is not a burn. sent9: something is not live if that it is a arrowworm and it is not a spammer does not hold. sent10: the tyrannid is a kind of non-geopolitical thing that is unpaintable. sent11: the yolk is not live if that the camshaft does not live and/or does not surmise swiftlet is false. sent12: the haft is not a spammer. sent13: if the haft does not surmise haft the boothose does surmise haft and does not restrain wellerism. sent14: the haft is not revolutionary. sent15: the fact that the haft is a spammer that does not surmise haft does not hold. sent16: if the yolk is not a spammer the fact that the camshaft is a arrowworm but it is not a kind of a spammer is incorrect. sent17: the tyrannid is unpaintable.
sent10 -> int1: something is both not geopolitical and unpaintable.; int1 & sent6 -> int2: that the yolk is not a spammer is true.; int2 & sent16 -> int3: that the camshaft is a kind of a arrowworm that is not a spammer is false.; sent9 -> int4: the camshaft does not live if that it is a arrowworm and it is not a kind of a spammer is not correct.; int3 & int4 -> int5: the camshaft is not live.; int5 & sent4 -> int6: the pelisse does not burn.; int6 & sent3 -> int7: the haft is non-revolutionary thing that does not surmise swiftlet.;
the fact that the boothose does surmise haft and does not restrain wellerism does not hold.
sent5 -> int8: if that the yolk is not a arrowworm and it is not a kind of a spammer is incorrect it does not surmise haft.;
$hypothesis$ = the boothose does surmise haft but it does not restrain wellerism. ; $context$ = sent1: if the haft does not surmise haft then the boothose does surmise haft. sent2: there is something such that it does not surmise haft. sent3: the haft is not revolutionary and does not surmise swiftlet if the pelisse does not burn. sent4: the pelisse is not a burn if the camshaft does not live. sent5: something does not surmise haft if the fact that it is not a kind of a arrowworm and it is not a kind of a spammer is not true. sent6: the yolk is not a spammer if something that is not geopolitical is unpaintable. sent7: the yolk is not a arrowworm. sent8: there exists something such that it is not a burn. sent9: something is not live if that it is a arrowworm and it is not a spammer does not hold. sent10: the tyrannid is a kind of non-geopolitical thing that is unpaintable. sent11: the yolk is not live if that the camshaft does not live and/or does not surmise swiftlet is false. sent12: the haft is not a spammer. sent13: if the haft does not surmise haft the boothose does surmise haft and does not restrain wellerism. sent14: the haft is not revolutionary. sent15: the fact that the haft is a spammer that does not surmise haft does not hold. sent16: if the yolk is not a spammer the fact that the camshaft is a arrowworm but it is not a kind of a spammer is incorrect. sent17: the tyrannid is unpaintable. ; $proof$ = 
sent10 -> int1: something is both not geopolitical and unpaintable.; int1 & sent6 -> int2: that the yolk is not a spammer is true.; int2 & sent16 -> int3: that the camshaft is a kind of a arrowworm that is not a spammer is false.; sent9 -> int4: the camshaft does not live if that it is a arrowworm and it is not a kind of a spammer is not correct.; int3 & int4 -> int5: the camshaft is not live.; int5 & sent4 -> int6: the pelisse does not burn.; int6 & sent3 -> int7: the haft is non-revolutionary thing that does not surmise swiftlet.; __UNKNOWN__