the sarin is non-bare.
sent1: if the carillon is a mho the corpus is a mho. sent2: a non-ambassadorial thing is both bare and allographic. sent3: the patisserie is a kind of a flip that is not a compressor. sent4: the carillon does clean tattle if something is a flip but not a compressor. sent5: if something does not describe chauvinist the fact that it cleans Chondrus and it does not exempt skimmer is not right. sent6: everything is a kind of allographic thing that is bare. sent7: the sleet is not a mho if the corpus is a kind of a mho. sent8: something does not describe chauvinist if the fact that it is not bronchial and it is not a forklift is not correct. sent9: everything is a kind of accipitrine thing that is a grandstand. sent10: if the sleet is not a kind of a mho then that the barycenter is not bronchial and it is not a forklift is not right. sent11: everything is allographic. sent12: if the carillon does clean tattle then it is a kind of a mho. sent13: the sarin is allographic. sent14: the reticulum is a pontifical if that the barycenter cleans Chondrus and does not exempt skimmer is not correct.
sent6 -> int1: the sarin is allographic thing that is bare.; int1 -> hypothesis;
the sarin does not bare.
sent5 -> int2: if the barycenter does not describe chauvinist then that it cleans Chondrus and it does not exempt skimmer does not hold.; sent8 -> int3: the barycenter does not describe chauvinist if the fact that it is not bronchial and is not a forklift is not correct.; sent3 -> int4: something is both a flip and not a compressor.; int4 & sent4 -> int5: the carillon cleans tattle.; sent12 & int5 -> int6: that the carillon is a mho is not incorrect.; sent1 & int6 -> int7: the corpus is a mho.; sent7 & int7 -> int8: the sleet is not a mho.; sent10 & int8 -> int9: that the barycenter is not bronchial and it is not a forklift is not correct.; int3 & int9 -> int10: the barycenter does not describe chauvinist.; int2 & int10 -> int11: that the barycenter does clean Chondrus but it does not exempt skimmer is not true.; sent14 & int11 -> int12: the reticulum is a pontifical.; int12 -> int13: there exists something such that it is a pontifical.;
$hypothesis$ = the sarin is non-bare. ; $context$ = sent1: if the carillon is a mho the corpus is a mho. sent2: a non-ambassadorial thing is both bare and allographic. sent3: the patisserie is a kind of a flip that is not a compressor. sent4: the carillon does clean tattle if something is a flip but not a compressor. sent5: if something does not describe chauvinist the fact that it cleans Chondrus and it does not exempt skimmer is not right. sent6: everything is a kind of allographic thing that is bare. sent7: the sleet is not a mho if the corpus is a kind of a mho. sent8: something does not describe chauvinist if the fact that it is not bronchial and it is not a forklift is not correct. sent9: everything is a kind of accipitrine thing that is a grandstand. sent10: if the sleet is not a kind of a mho then that the barycenter is not bronchial and it is not a forklift is not right. sent11: everything is allographic. sent12: if the carillon does clean tattle then it is a kind of a mho. sent13: the sarin is allographic. sent14: the reticulum is a pontifical if that the barycenter cleans Chondrus and does not exempt skimmer is not correct. ; $proof$ = 
sent6 -> int1: the sarin is allographic thing that is bare.; int1 -> hypothesis; __DISPROVED__