the pipefish is an auditorium.
sent1: if something is not a LTTE then it reigns weekday and it smashes Mills. sent2: if the warehouser is a greenhouse the Turk's-cap is a mulberry. sent3: something that smashes Mills smashes hatted. sent4: the radio-phonograph is not a LTTE. sent5: if the warehouser is a kind of a malcontent then that the pipefish is either not greenhouse or not a mulberry or both is not correct. sent6: if the fact that something either is not greenhouse or is not a mulberry or both does not hold it is not an auditorium. sent7: if the radio-phonograph does smash hatted then that the Turk's-cap is not a kind of a murine and it is not a kind of a Coue does not hold. sent8: if the fact that the Turk's-cap is a mulberry hold the fact that the pipefish is an auditorium is right. sent9: the warehouser is greenhouse.
sent2 & sent9 -> int1: the Turk's-cap is a mulberry.; sent8 & int1 -> hypothesis;
the pipefish is not an auditorium.
sent6 -> int2: the pipefish is not an auditorium if that it is not greenhouse or it is not a kind of a mulberry or both does not hold.; sent3 -> int3: the radio-phonograph smashes hatted if it smashes Mills.; sent1 -> int4: the radio-phonograph does reign weekday and does smash Mills if it is not a LTTE.; int4 & sent4 -> int5: the radio-phonograph does reign weekday and smashes Mills.; int5 -> int6: the radio-phonograph does smash Mills.; int3 & int6 -> int7: the radio-phonograph smashes hatted.; sent7 & int7 -> int8: the fact that the Turk's-cap is not a murine and it is not a Coue is incorrect.; int8 -> int9: there exists something such that that it is both not a murine and not a Coue is false.;
$hypothesis$ = the pipefish is an auditorium. ; $context$ = sent1: if something is not a LTTE then it reigns weekday and it smashes Mills. sent2: if the warehouser is a greenhouse the Turk's-cap is a mulberry. sent3: something that smashes Mills smashes hatted. sent4: the radio-phonograph is not a LTTE. sent5: if the warehouser is a kind of a malcontent then that the pipefish is either not greenhouse or not a mulberry or both is not correct. sent6: if the fact that something either is not greenhouse or is not a mulberry or both does not hold it is not an auditorium. sent7: if the radio-phonograph does smash hatted then that the Turk's-cap is not a kind of a murine and it is not a kind of a Coue does not hold. sent8: if the fact that the Turk's-cap is a mulberry hold the fact that the pipefish is an auditorium is right. sent9: the warehouser is greenhouse. ; $proof$ = 
sent2 & sent9 -> int1: the Turk's-cap is a mulberry.; sent8 & int1 -> hypothesis; __PROVED__