the blotter does not intussuscept and is not subsonic.
sent1: something does not blanket grand and it is not sidearm if it is not a Eelam. sent2: if the acquirer does not blanket grand the blotter does not intussuscept and it is not subsonic. sent3: something is not a Eelam and is not Thoreauvian if it is not a plastid. sent4: if the acquirer blankets grand then the bamboo is subsonic. sent5: if there exists something such that the fact that it is not minors or a Barstow or both is not correct then the acquirer blankets grand. sent6: the bamboo is not a kind of a territorial and it does not obtrude. sent7: the genoise is a Eelam and it is sidearm. sent8: the fact that the blotter does not intussuscept and is not subsonic is not true if the bamboo is subsonic. sent9: something is non-sidearm if it is either not minors or a Barstow or both. sent10: the genoise is a Eelam.
sent9 -> int1: if the genoise is not minors and/or is a Barstow then it is not sidearm.; void -> assump1: Let's assume that the genoise is non-minors or is a Barstow or both.; int1 & assump1 -> int2: the genoise is not sidearm.; sent7 -> int3: the genoise is sidearm.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the fact that the genoise is not minors and/or it is a Barstow is not wrong is wrong.; int5 -> int6: there exists something such that that it is not minors and/or it is a Barstow is not correct.; int6 & sent5 -> int7: the acquirer blankets grand.; int7 & sent4 -> int8: the bamboo is subsonic.; int8 & sent8 -> hypothesis;
the blotter does not intussuscept and is not subsonic.
sent1 -> int9: the acquirer does not blanket grand and it is not sidearm if it is not a Eelam.; sent3 -> int10: the acquirer is not a Eelam and it is not Thoreauvian if it is not a kind of a plastid.; sent6 -> int11: there is something such that it is a kind of non-territorial thing that does not obtrude.;
$hypothesis$ = the blotter does not intussuscept and is not subsonic. ; $context$ = sent1: something does not blanket grand and it is not sidearm if it is not a Eelam. sent2: if the acquirer does not blanket grand the blotter does not intussuscept and it is not subsonic. sent3: something is not a Eelam and is not Thoreauvian if it is not a plastid. sent4: if the acquirer blankets grand then the bamboo is subsonic. sent5: if there exists something such that the fact that it is not minors or a Barstow or both is not correct then the acquirer blankets grand. sent6: the bamboo is not a kind of a territorial and it does not obtrude. sent7: the genoise is a Eelam and it is sidearm. sent8: the fact that the blotter does not intussuscept and is not subsonic is not true if the bamboo is subsonic. sent9: something is non-sidearm if it is either not minors or a Barstow or both. sent10: the genoise is a Eelam. ; $proof$ = 
sent9 -> int1: if the genoise is not minors and/or is a Barstow then it is not sidearm.; void -> assump1: Let's assume that the genoise is non-minors or is a Barstow or both.; int1 & assump1 -> int2: the genoise is not sidearm.; sent7 -> int3: the genoise is sidearm.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the fact that the genoise is not minors and/or it is a Barstow is not wrong is wrong.; int5 -> int6: there exists something such that that it is not minors and/or it is a Barstow is not correct.; int6 & sent5 -> int7: the acquirer blankets grand.; int7 & sent4 -> int8: the bamboo is subsonic.; int8 & sent8 -> hypothesis; __DISPROVED__