the beechnut is not non-Catholic.
sent1: there is something such that it takes. sent2: the fact that the bimonthly is not a Fox or is not cross-linguistic or both is incorrect if there is something such that that it is not a kind of a Colombian is right. sent3: if something is not Bogartian it is a kind of a Catholic and it accepts iva. sent4: if that the trudger is not aerobics is true then the creosol is Stravinskyan. sent5: something swelters if the fact that it is Stravinskyan is correct. sent6: if something that accepts iva is a marasmus then it is not Catholic. sent7: if something is exegetic but it is not amnestic the trudger is not non-Bogartian. sent8: if something that is Bogartian is amnestic then it is not exegetic. sent9: something is a marasmus if it swelters. sent10: the belch braids vegan. sent11: the beechnut does not swelter if that it accepts iva and swelter is not right. sent12: the trudger is not non-amnestic. sent13: if the beechnut does not accept iva the creosol is exegetic but it is not amnestic. sent14: if there is something such that the fact that it is a kind of a Colombian and it is not an accusative is false the diethylstilbestrol is not a Colombian. sent15: if the beechnut is Bogartian and it accepts iva it is not amnestic. sent16: the fact that the belch is a kind of a Colombian but it is not an accusative is false if it does braid vegan. sent17: the beechnut is a kind of a marasmus. sent18: that the trudger is not Bogartian is right if the fact that it does swelter and is Bogartian is incorrect. sent19: the fact that the beechnut is amnestic and it accepts iva does not hold. sent20: the trudger is not aerobics if there exists something such that the fact that it either is not a Fox or is not cross-linguistic or both is false. sent21: that the trudger swelters and is Bogartian is wrong.
void -> assump1: Let's assume that the beechnut does not accept iva.; sent13 & assump1 -> int1: the creosol is exegetic and not amnestic.; int1 -> int2: something is exegetic but not amnestic.; int2 & sent7 -> int3: the trudger is Bogartian.; sent18 & sent21 -> int4: the trudger is not Bogartian.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the beechnut does accept iva.; int6 & sent17 -> int7: the beechnut accepts iva and it is a marasmus.; sent6 -> int8: the beechnut is not Catholic if it accepts iva and it is a marasmus.; int7 & int8 -> hypothesis;
the beechnut is a Catholic.
sent3 -> int9: the beechnut is a Catholic that does accept iva if it is not Bogartian.; sent9 -> int10: if the creosol does swelter it is a marasmus.; sent5 -> int11: the fact that the creosol swelters if the creosol is Stravinskyan is right.; sent16 & sent10 -> int12: that the belch is not non-Colombian and not accusative is not correct.; int12 -> int13: there exists something such that that it is a Colombian and it is not an accusative is not true.; int13 & sent14 -> int14: the diethylstilbestrol is not a Colombian.; int14 -> int15: something is not Colombian.; int15 & sent2 -> int16: the fact that the bimonthly is not a Fox and/or it is not cross-linguistic is not true.; int16 -> int17: there exists something such that that either it is not a Fox or it is not cross-linguistic or both does not hold.; int17 & sent20 -> int18: the fact that the trudger is not aerobics is not false.; sent4 & int18 -> int19: the creosol is Stravinskyan.; int11 & int19 -> int20: the creosol swelters.; int10 & int20 -> int21: the creosol is a kind of a marasmus.; int21 -> int22: something is a marasmus.;
$hypothesis$ = the beechnut is not non-Catholic. ; $context$ = sent1: there is something such that it takes. sent2: the fact that the bimonthly is not a Fox or is not cross-linguistic or both is incorrect if there is something such that that it is not a kind of a Colombian is right. sent3: if something is not Bogartian it is a kind of a Catholic and it accepts iva. sent4: if that the trudger is not aerobics is true then the creosol is Stravinskyan. sent5: something swelters if the fact that it is Stravinskyan is correct. sent6: if something that accepts iva is a marasmus then it is not Catholic. sent7: if something is exegetic but it is not amnestic the trudger is not non-Bogartian. sent8: if something that is Bogartian is amnestic then it is not exegetic. sent9: something is a marasmus if it swelters. sent10: the belch braids vegan. sent11: the beechnut does not swelter if that it accepts iva and swelter is not right. sent12: the trudger is not non-amnestic. sent13: if the beechnut does not accept iva the creosol is exegetic but it is not amnestic. sent14: if there is something such that the fact that it is a kind of a Colombian and it is not an accusative is false the diethylstilbestrol is not a Colombian. sent15: if the beechnut is Bogartian and it accepts iva it is not amnestic. sent16: the fact that the belch is a kind of a Colombian but it is not an accusative is false if it does braid vegan. sent17: the beechnut is a kind of a marasmus. sent18: that the trudger is not Bogartian is right if the fact that it does swelter and is Bogartian is incorrect. sent19: the fact that the beechnut is amnestic and it accepts iva does not hold. sent20: the trudger is not aerobics if there exists something such that the fact that it either is not a Fox or is not cross-linguistic or both is false. sent21: that the trudger swelters and is Bogartian is wrong. ; $proof$ = 
void -> assump1: Let's assume that the beechnut does not accept iva.; sent13 & assump1 -> int1: the creosol is exegetic and not amnestic.; int1 -> int2: something is exegetic but not amnestic.; int2 & sent7 -> int3: the trudger is Bogartian.; sent18 & sent21 -> int4: the trudger is not Bogartian.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the beechnut does accept iva.; int6 & sent17 -> int7: the beechnut accepts iva and it is a marasmus.; sent6 -> int8: the beechnut is not Catholic if it accepts iva and it is a marasmus.; int7 & int8 -> hypothesis; __DISPROVED__