the fact that the refractory is a Shona but it is not immunotherapeutic is wrong.
sent1: if there exists something such that it is unfortunate the refractory does not reheat stint but it marauds. sent2: the ore is an unfortunate if it is not a kickoff. sent3: the fact that the tongue is not a kind of a perpendicular but it is a prolamine is incorrect. sent4: if that that the ore is not a Tylenchus and it does not peer is correct is incorrect it is not a kickoff. sent5: if the fact that the fact that the tongue is not perpendicular and it is not a kind of a prolamine is wrong is right then the rectification is not a kind of a Tylenchus. sent6: there is nothing such that it is not a perpendicular and is a prolamine. sent7: the fact that the ore is not a Tylenchus and it is not a peer is not right if the rectification is not a Tylenchus. sent8: if the refractory is a Gotterdammerung then that it is a Shona and it is immunotherapeutic is not true. sent9: if the refractory is a Gotterdammerung the fact that it is both a Shona and non-immunotherapeutic is not true. sent10: if there exists something such that it is a Tylenchus then that the accomplice is not a bareboat and it is not a taco is not right. sent11: the fact that the ore is a Tylenchus and does not peer is not true. sent12: if the rectification is not a Tylenchus that the ore is a Tylenchus but not a peer is not true. sent13: the fact that the tongue is a perpendicular but it is not a prolamine is not true. sent14: that the ore is not the kickoff if the ore is a Tylenchus is not incorrect. sent15: the rectification does peer if the ore is a kickoff. sent16: there is nothing such that it is not perpendicular and it is not a kind of a prolamine. sent17: that the refractory is not non-Shona and it is immunotherapeutic is not right. sent18: the refractory does not reheat stint.
sent16 -> int1: the fact that the tongue is not perpendicular and it is not a prolamine is wrong.; int1 & sent5 -> int2: the rectification is not a Tylenchus.; int2 & sent7 -> int3: the fact that the ore is not a kind of a Tylenchus and it is not a peer is not true.; int3 & sent4 -> int4: the ore is not a kickoff.; int4 & sent2 -> int5: the ore is a kind of an unfortunate.; int5 -> int6: something is an unfortunate.; int6 & sent1 -> int7: the refractory does not reheat stint but it marauds.;
the fact that the accomplice is not a bareboat and it is not a taco is not correct.
$hypothesis$ = the fact that the refractory is a Shona but it is not immunotherapeutic is wrong. ; $context$ = sent1: if there exists something such that it is unfortunate the refractory does not reheat stint but it marauds. sent2: the ore is an unfortunate if it is not a kickoff. sent3: the fact that the tongue is not a kind of a perpendicular but it is a prolamine is incorrect. sent4: if that that the ore is not a Tylenchus and it does not peer is correct is incorrect it is not a kickoff. sent5: if the fact that the fact that the tongue is not perpendicular and it is not a kind of a prolamine is wrong is right then the rectification is not a kind of a Tylenchus. sent6: there is nothing such that it is not a perpendicular and is a prolamine. sent7: the fact that the ore is not a Tylenchus and it is not a peer is not right if the rectification is not a Tylenchus. sent8: if the refractory is a Gotterdammerung then that it is a Shona and it is immunotherapeutic is not true. sent9: if the refractory is a Gotterdammerung the fact that it is both a Shona and non-immunotherapeutic is not true. sent10: if there exists something such that it is a Tylenchus then that the accomplice is not a bareboat and it is not a taco is not right. sent11: the fact that the ore is a Tylenchus and does not peer is not true. sent12: if the rectification is not a Tylenchus that the ore is a Tylenchus but not a peer is not true. sent13: the fact that the tongue is a perpendicular but it is not a prolamine is not true. sent14: that the ore is not the kickoff if the ore is a Tylenchus is not incorrect. sent15: the rectification does peer if the ore is a kickoff. sent16: there is nothing such that it is not perpendicular and it is not a kind of a prolamine. sent17: that the refractory is not non-Shona and it is immunotherapeutic is not right. sent18: the refractory does not reheat stint. ; $proof$ = 
sent16 -> int1: the fact that the tongue is not perpendicular and it is not a prolamine is wrong.; int1 & sent5 -> int2: the rectification is not a Tylenchus.; int2 & sent7 -> int3: the fact that the ore is not a kind of a Tylenchus and it is not a peer is not true.; int3 & sent4 -> int4: the ore is not a kickoff.; int4 & sent2 -> int5: the ore is a kind of an unfortunate.; int5 -> int6: something is an unfortunate.; int6 & sent1 -> int7: the refractory does not reheat stint but it marauds.; __UNKNOWN__