the outcrop is a filmmaker.
sent1: the exudate does not tribulate median if there are aeromechanic things. sent2: if the taboret is not auspicious the diver is auspicious and is a kind of a weathervane. sent3: there is something such that it is aeromechanic. sent4: if the taboret is not non-taxonomic the exudate is a weathervane. sent5: the outcrop is auspicious and it is a weathervane if that the exudate is not auspicious hold. sent6: if something is a tarpaulin it is not a filmmaker and it is not non-aeromechanic. sent7: the taboret is not non-taxonomic if that the diver is a Ogcocephalidae is right. sent8: if there exists something such that it is aeromechanic then the exudate is a tarpaulin that does not tribulate median. sent9: something is a tarpaulin if it tribulates median. sent10: the fact that the mesocolon is not obvious but it is a damaging is not true. sent11: the taboret is both not auspicious and not a tarpaulin if the exudate is a kind of a tarpaulin. sent12: the fact that if the exudate is auspicious the outcrop does tribulate median is not incorrect. sent13: if something is a weathervane then it is auspicious. sent14: the exudate does not tribulate median. sent15: something is noncausative if the fact that it is not obvious and it is a damaging is not right. sent16: the taboret is not a tarpaulin if the exudate is a tarpaulin. sent17: that something does not cane and is not a Ogcocephalidae is wrong if that it is noncausative is not incorrect. sent18: if the diver is not a kind of a filmmaker the taboret is a filmmaker and it is a weathervane.
sent3 & sent8 -> int1: the exudate is a tarpaulin and does not tribulate median.; int1 -> int2: the exudate is a tarpaulin.; sent11 & int2 -> int3: the taboret is not auspicious and it is not a tarpaulin.; int3 -> int4: that the taboret is not auspicious is not wrong.; sent2 & int4 -> int5: the diver is a kind of auspicious a weathervane.; int5 -> int6: the diver is a weathervane.;
the outcrop is not a filmmaker.
sent6 -> int7: if the outcrop is a tarpaulin then it is not a filmmaker but aeromechanic.; sent9 -> int8: if the outcrop does tribulate median it is a tarpaulin.; sent13 -> int9: the exudate is auspicious if it is a weathervane.; sent17 -> int10: if the mesocolon is noncausative the fact that it does not cane and it is not a Ogcocephalidae is false.; sent15 -> int11: the mesocolon is noncausative if the fact that it is not obvious and it is a damaging is incorrect.; int11 & sent10 -> int12: the mesocolon is noncausative.; int10 & int12 -> int13: that the mesocolon is both not a cane and not a Ogcocephalidae is wrong.; int13 -> int14: there exists something such that the fact that it is both not a cane and not a Ogcocephalidae does not hold.;
$hypothesis$ = the outcrop is a filmmaker. ; $context$ = sent1: the exudate does not tribulate median if there are aeromechanic things. sent2: if the taboret is not auspicious the diver is auspicious and is a kind of a weathervane. sent3: there is something such that it is aeromechanic. sent4: if the taboret is not non-taxonomic the exudate is a weathervane. sent5: the outcrop is auspicious and it is a weathervane if that the exudate is not auspicious hold. sent6: if something is a tarpaulin it is not a filmmaker and it is not non-aeromechanic. sent7: the taboret is not non-taxonomic if that the diver is a Ogcocephalidae is right. sent8: if there exists something such that it is aeromechanic then the exudate is a tarpaulin that does not tribulate median. sent9: something is a tarpaulin if it tribulates median. sent10: the fact that the mesocolon is not obvious but it is a damaging is not true. sent11: the taboret is both not auspicious and not a tarpaulin if the exudate is a kind of a tarpaulin. sent12: the fact that if the exudate is auspicious the outcrop does tribulate median is not incorrect. sent13: if something is a weathervane then it is auspicious. sent14: the exudate does not tribulate median. sent15: something is noncausative if the fact that it is not obvious and it is a damaging is not right. sent16: the taboret is not a tarpaulin if the exudate is a tarpaulin. sent17: that something does not cane and is not a Ogcocephalidae is wrong if that it is noncausative is not incorrect. sent18: if the diver is not a kind of a filmmaker the taboret is a filmmaker and it is a weathervane. ; $proof$ = 
sent3 & sent8 -> int1: the exudate is a tarpaulin and does not tribulate median.; int1 -> int2: the exudate is a tarpaulin.; sent11 & int2 -> int3: the taboret is not auspicious and it is not a tarpaulin.; int3 -> int4: that the taboret is not auspicious is not wrong.; sent2 & int4 -> int5: the diver is a kind of auspicious a weathervane.; int5 -> int6: the diver is a weathervane.; __UNKNOWN__