the obsessive is not a polyanthus.
sent1: something is not a kind of a polyanthus and it is not a thwart if it is a playbox. sent2: that the obsessive is a Yucatan is correct. sent3: the obsessive is a polyanthus that is a Yucatan if it is not a thwart. sent4: the obsessive is not a thwart. sent5: the walrus thwarts and it is Gallican. sent6: the obsessive is a Yucatan if it does not thwart. sent7: the Tudor is a Yucatan and does thwart if it is not a playbox.
sent3 & sent4 -> int1: the obsessive is a polyanthus and it is a kind of a Yucatan.; int1 -> hypothesis;
the Tudor is a Yucatan.
$hypothesis$ = the obsessive is not a polyanthus. ; $context$ = sent1: something is not a kind of a polyanthus and it is not a thwart if it is a playbox. sent2: that the obsessive is a Yucatan is correct. sent3: the obsessive is a polyanthus that is a Yucatan if it is not a thwart. sent4: the obsessive is not a thwart. sent5: the walrus thwarts and it is Gallican. sent6: the obsessive is a Yucatan if it does not thwart. sent7: the Tudor is a Yucatan and does thwart if it is not a playbox. ; $proof$ = 
sent3 & sent4 -> int1: the obsessive is a polyanthus and it is a kind of a Yucatan.; int1 -> hypothesis; __DISPROVED__