the vacationer is not a slap.
sent1: the oriole is both unalike and not a smother. sent2: if the vacationer does not strangulate chlorobenzene then the fact that the oriole is not a slap and it is not myeloid is not right. sent3: if that the Kiwi does strangulate chlorobenzene and swans is not right the oriole does not strangulate chlorobenzene. sent4: the homebuilder does not school Assam. sent5: if the Kiwi does strangulate Genoese and does strangulate chlorobenzene then the vacationer does not strangulate chlorobenzene. sent6: the Genoese is unalike if the oriole is a smother. sent7: there is something such that it is nautical. sent8: something is not an incontinence if it does not school Assam. sent9: the oriole does not smother. sent10: if something does not strangulate chlorobenzene the fact that it does not smother and it is myeloid does not hold. sent11: if something is not unalike then it is not a slap. sent12: the chlorobenzene deserves Petauristidae or does concoct or both if something is not an incontinence. sent13: if there are nautical things then the Kiwi does strangulate Genoese and it is a swan. sent14: if that something is unalike is not wrong then it is myeloid. sent15: something that smothers is unalike. sent16: if the fact that the oriole is not a smother and is myeloid is not correct then the vacationer is not unalike. sent17: the vacationer does slap if the oriole is myeloid.
sent1 -> int1: the oriole is unalike.; sent14 -> int2: the oriole is myeloid if it is unalike.; int1 & int2 -> int3: the oriole is myeloid.; int3 & sent17 -> hypothesis;
the Genoese is unalike.
sent7 & sent13 -> int4: the Kiwi strangulates Genoese and it is a swan.; int4 -> int5: the Kiwi does strangulate Genoese.; sent8 -> int6: the fact that the homebuilder is not a kind of an incontinence hold if that it does school Assam does not hold.; int6 & sent4 -> int7: the homebuilder is not an incontinence.; int7 -> int8: there is something such that the fact that it is not a kind of an incontinence is right.; int8 & sent12 -> int9: the chlorobenzene does deserve Petauristidae and/or does concoct.;
$hypothesis$ = the vacationer is not a slap. ; $context$ = sent1: the oriole is both unalike and not a smother. sent2: if the vacationer does not strangulate chlorobenzene then the fact that the oriole is not a slap and it is not myeloid is not right. sent3: if that the Kiwi does strangulate chlorobenzene and swans is not right the oriole does not strangulate chlorobenzene. sent4: the homebuilder does not school Assam. sent5: if the Kiwi does strangulate Genoese and does strangulate chlorobenzene then the vacationer does not strangulate chlorobenzene. sent6: the Genoese is unalike if the oriole is a smother. sent7: there is something such that it is nautical. sent8: something is not an incontinence if it does not school Assam. sent9: the oriole does not smother. sent10: if something does not strangulate chlorobenzene the fact that it does not smother and it is myeloid does not hold. sent11: if something is not unalike then it is not a slap. sent12: the chlorobenzene deserves Petauristidae or does concoct or both if something is not an incontinence. sent13: if there are nautical things then the Kiwi does strangulate Genoese and it is a swan. sent14: if that something is unalike is not wrong then it is myeloid. sent15: something that smothers is unalike. sent16: if the fact that the oriole is not a smother and is myeloid is not correct then the vacationer is not unalike. sent17: the vacationer does slap if the oriole is myeloid. ; $proof$ = 
sent1 -> int1: the oriole is unalike.; sent14 -> int2: the oriole is myeloid if it is unalike.; int1 & int2 -> int3: the oriole is myeloid.; int3 & sent17 -> hypothesis; __DISPROVED__