the toadfish is prescription.
sent1: the paddlewheel is a prescription. sent2: the shirtlifter is organizational. sent3: the toadfish is not febrile. sent4: the shirtlifter is febrile. sent5: the southwester is not a prescription if the shirtlifter is a kind of a hepatomegaly and it is organizational. sent6: if the southwester is a kind of a prescription and it is organizational the shirtlifter is not febrile. sent7: if the shirtlifter is not a hepatomegaly the toadfish is not organizational. sent8: the shirtlifter is a hepatomegaly. sent9: if the southwester is not a kind of a hepatomegaly the shirtlifter is not a kind of a prescription. sent10: the toadfish is not a prescription if that the shirtlifter is not a prescription but it is organizational is wrong. sent11: the shirtlifter is not a kind of a prescription. sent12: that the bay is a Nepalese and it is fungal is true. sent13: the toadfish is not febrile if the southwester is not a prescription. sent14: that the shirtlifter is not febrile is not wrong if the fact that the toadfish is both a hepatomegaly and prescription is not wrong. sent15: the shirtlifter is not a hepatomegaly if the toadfish is both prescription and organizational.
sent8 & sent2 -> int1: the shirtlifter is a hepatomegaly and it is organizational.; sent5 & int1 -> int2: the southwester is not a prescription.;
the toadfish is not a prescription.
$hypothesis$ = the toadfish is prescription. ; $context$ = sent1: the paddlewheel is a prescription. sent2: the shirtlifter is organizational. sent3: the toadfish is not febrile. sent4: the shirtlifter is febrile. sent5: the southwester is not a prescription if the shirtlifter is a kind of a hepatomegaly and it is organizational. sent6: if the southwester is a kind of a prescription and it is organizational the shirtlifter is not febrile. sent7: if the shirtlifter is not a hepatomegaly the toadfish is not organizational. sent8: the shirtlifter is a hepatomegaly. sent9: if the southwester is not a kind of a hepatomegaly the shirtlifter is not a kind of a prescription. sent10: the toadfish is not a prescription if that the shirtlifter is not a prescription but it is organizational is wrong. sent11: the shirtlifter is not a kind of a prescription. sent12: that the bay is a Nepalese and it is fungal is true. sent13: the toadfish is not febrile if the southwester is not a prescription. sent14: that the shirtlifter is not febrile is not wrong if the fact that the toadfish is both a hepatomegaly and prescription is not wrong. sent15: the shirtlifter is not a hepatomegaly if the toadfish is both prescription and organizational. ; $proof$ = 
sent8 & sent2 -> int1: the shirtlifter is a hepatomegaly and it is organizational.; sent5 & int1 -> int2: the southwester is not a prescription.; __UNKNOWN__