that the fact that the nicotine is a kind of choric thing that does not surmise basidium is false if the viscount is a IW is not right.
sent1: if the nitrocellulose does not surmise basidium that the nicotine is choric and surmise basidium is false. sent2: if the viscount is a IW then that the nicotine is not non-choric and it does surmise basidium does not hold. sent3: the nicotine is choric thing that does not surmise basidium if the viscount is a IW. sent4: the westerly is not drinkable. sent5: the manure is drinkable. sent6: the entrance does not surmise basidium. sent7: the nicotine is choric and does not surmise basidium. sent8: if the carbuncle is not a kind of a mashie then the viscount is drinkable. sent9: there exists something such that it does not surmise basidium. sent10: there is something such that it does solemnize Pritzelago. sent11: if the viscount is drinkable thing that is a IW then the nitrocellulose does not surmise basidium. sent12: there exists something such that it does not solemnize Pritzelago. sent13: if the nitrocellulose does not surmise basidium the fact that the nicotine is choric but it does not surmise basidium is incorrect. sent14: the nicotine does not actualize. sent15: if the westerly does not haze cyclopropane then the carbuncle is not a kind of a mashie. sent16: the fact that the nicotine is choric and it surmises basidium does not hold. sent17: if the nitrocellulose does not surmise basidium then the nicotine is choric but it does not surmise basidium. sent18: the viscount is a skating. sent19: the westerly does not haze cyclopropane if there is something such that it does not solemnize Pritzelago.
sent12 & sent19 -> int1: the westerly does not haze cyclopropane.; sent15 & int1 -> int2: the carbuncle is not a mashie.; sent8 & int2 -> int3: that the viscount is not drinkable is false.; void -> assump1: Let's assume that the viscount is a kind of a IW.; int3 & assump1 -> int4: the viscount is drinkable and it is a IW.; sent11 & int4 -> int5: that the nitrocellulose does not surmise basidium hold.; sent13 & int5 -> int6: the fact that the nicotine is choric thing that does not surmise basidium does not hold.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that the fact that the nicotine is a kind of choric thing that does not surmise basidium is false if the viscount is a IW is not right. ; $context$ = sent1: if the nitrocellulose does not surmise basidium that the nicotine is choric and surmise basidium is false. sent2: if the viscount is a IW then that the nicotine is not non-choric and it does surmise basidium does not hold. sent3: the nicotine is choric thing that does not surmise basidium if the viscount is a IW. sent4: the westerly is not drinkable. sent5: the manure is drinkable. sent6: the entrance does not surmise basidium. sent7: the nicotine is choric and does not surmise basidium. sent8: if the carbuncle is not a kind of a mashie then the viscount is drinkable. sent9: there exists something such that it does not surmise basidium. sent10: there is something such that it does solemnize Pritzelago. sent11: if the viscount is drinkable thing that is a IW then the nitrocellulose does not surmise basidium. sent12: there exists something such that it does not solemnize Pritzelago. sent13: if the nitrocellulose does not surmise basidium the fact that the nicotine is choric but it does not surmise basidium is incorrect. sent14: the nicotine does not actualize. sent15: if the westerly does not haze cyclopropane then the carbuncle is not a kind of a mashie. sent16: the fact that the nicotine is choric and it surmises basidium does not hold. sent17: if the nitrocellulose does not surmise basidium then the nicotine is choric but it does not surmise basidium. sent18: the viscount is a skating. sent19: the westerly does not haze cyclopropane if there is something such that it does not solemnize Pritzelago. ; $proof$ = 
sent12 & sent19 -> int1: the westerly does not haze cyclopropane.; sent15 & int1 -> int2: the carbuncle is not a mashie.; sent8 & int2 -> int3: that the viscount is not drinkable is false.; void -> assump1: Let's assume that the viscount is a kind of a IW.; int3 & assump1 -> int4: the viscount is drinkable and it is a IW.; sent11 & int4 -> int5: that the nitrocellulose does not surmise basidium hold.; sent13 & int5 -> int6: the fact that the nicotine is choric thing that does not surmise basidium does not hold.; [assump1] & int6 -> hypothesis; __DISPROVED__