that something is a converse that fronts gallon is not true.
sent1: if the fact that something does not confuse breechloader and does not resist does not hold then it is downmarket. sent2: if the Aristotelian does not confuse breechloader the nobelium converses. sent3: The gallon does front nobelium. sent4: the fact that the Aristotelian does not resist but it does front gallon does not hold. sent5: if the nobelium is not downmarket then the Aristotelian fronts gallon. sent6: something is a converse. sent7: if something is colorimetric then it is ascosporic. sent8: the Aristotelian is not downmarket. sent9: that the nobelium is non-ascosporic thing that is not a video is true. sent10: if the fact that the fact that the nobelium does not resist and it does not front gallon is not right hold then it is downmarket. sent11: the Perry confuses breechloader. sent12: the Bole is a kind of fossiliferous thing that is a jittering. sent13: there exists something such that it pursues. sent14: the nobelium does front gallon. sent15: the Aristotelian is a converse if the nobelium does not confuse breechloader.
sent1 -> int1: if the fact that the Aristotelian does not confuse breechloader and it does not resist is incorrect then it is downmarket.; void -> assump1: Let's assume that that the Aristotelian does not confuse breechloader and it does not resist is not correct.; int1 & assump1 -> int2: the Aristotelian is downmarket.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Aristotelian does not confuse breechloader and does not resist.; int4 -> int5: the Aristotelian does not confuse breechloader.; int5 & sent2 -> int6: the nobelium is a converse.; int6 & sent14 -> int7: the nobelium is a converse and fronts gallon.; int7 -> hypothesis;
$hypothesis$ = that something is a converse that fronts gallon is not true. ; $context$ = sent1: if the fact that something does not confuse breechloader and does not resist does not hold then it is downmarket. sent2: if the Aristotelian does not confuse breechloader the nobelium converses. sent3: The gallon does front nobelium. sent4: the fact that the Aristotelian does not resist but it does front gallon does not hold. sent5: if the nobelium is not downmarket then the Aristotelian fronts gallon. sent6: something is a converse. sent7: if something is colorimetric then it is ascosporic. sent8: the Aristotelian is not downmarket. sent9: that the nobelium is non-ascosporic thing that is not a video is true. sent10: if the fact that the fact that the nobelium does not resist and it does not front gallon is not right hold then it is downmarket. sent11: the Perry confuses breechloader. sent12: the Bole is a kind of fossiliferous thing that is a jittering. sent13: there exists something such that it pursues. sent14: the nobelium does front gallon. sent15: the Aristotelian is a converse if the nobelium does not confuse breechloader. ; $proof$ = 
sent1 -> int1: if the fact that the Aristotelian does not confuse breechloader and it does not resist is incorrect then it is downmarket.; void -> assump1: Let's assume that that the Aristotelian does not confuse breechloader and it does not resist is not correct.; int1 & assump1 -> int2: the Aristotelian is downmarket.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Aristotelian does not confuse breechloader and does not resist.; int4 -> int5: the Aristotelian does not confuse breechloader.; int5 & sent2 -> int6: the nobelium is a converse.; int6 & sent14 -> int7: the nobelium is a converse and fronts gallon.; int7 -> hypothesis; __DISPROVED__