the obelisk does not discard bole.
sent1: everything does not exacerbate jotter. sent2: that something is Kafkaesque and it discards bole is incorrect if that it is not anaclinal is not incorrect. sent3: if something does not exacerbate jotter it does not preen and it is not anaclinal. sent4: if either something is Tongan or it does not drain resoluteness or both then the obelisk discards bole. sent5: if the luff is not Kafkaesque either it is Tongan or it does not drain resoluteness or both. sent6: if that something does discard bole and/or is not Kafkaesque does not hold then it is rationalist. sent7: the luff is non-Kafkaesque.
sent5 & sent7 -> int1: either the luff is Tongan or it does not drain resoluteness or both.; int1 -> int2: there is something such that it is not non-Tongan or it does not drain resoluteness or both.; int2 & sent4 -> hypothesis;
that that something is rationalist or not a rummage or both hold is right.
sent6 -> int3: if the fact that the luff does discard bole or it is not Kafkaesque or both does not hold then it is rationalist.;
$hypothesis$ = the obelisk does not discard bole. ; $context$ = sent1: everything does not exacerbate jotter. sent2: that something is Kafkaesque and it discards bole is incorrect if that it is not anaclinal is not incorrect. sent3: if something does not exacerbate jotter it does not preen and it is not anaclinal. sent4: if either something is Tongan or it does not drain resoluteness or both then the obelisk discards bole. sent5: if the luff is not Kafkaesque either it is Tongan or it does not drain resoluteness or both. sent6: if that something does discard bole and/or is not Kafkaesque does not hold then it is rationalist. sent7: the luff is non-Kafkaesque. ; $proof$ = 
sent5 & sent7 -> int1: either the luff is Tongan or it does not drain resoluteness or both.; int1 -> int2: there is something such that it is not non-Tongan or it does not drain resoluteness or both.; int2 & sent4 -> hypothesis; __DISPROVED__