the Bell is diatonic.
sent1: the allopurinol is not cryogenic. sent2: if there exists something such that it is not cryogenic then the shipping does ogle and is not incorrupt. sent3: the fact that something does not engulf and it is not a kind of a wherry is false if it is not a trigger. sent4: if the shipping ogles but it is not incorrupt the Bell is not a trigger. sent5: the allopurinol does not engulf if something is not cryogenic. sent6: something is not diatonic if the fact that it does not engulf and it is not a wherry is wrong.
sent1 -> int1: there is something such that it is not cryogenic.; int1 & sent2 -> int2: the shipping ogles and is not incorrupt.; int2 & sent4 -> int3: the Bell is not a trigger.; sent3 -> int4: that the Bell does not engulf and is not a wherry is not true if it is not a trigger.; int3 & int4 -> int5: the fact that the Bell does not engulf and is not a wherry is not right.; sent6 -> int6: the Bell is non-diatonic if the fact that it does not engulf and is not a wherry does not hold.; int5 & int6 -> hypothesis;
$hypothesis$ = the Bell is diatonic. ; $context$ = sent1: the allopurinol is not cryogenic. sent2: if there exists something such that it is not cryogenic then the shipping does ogle and is not incorrupt. sent3: the fact that something does not engulf and it is not a kind of a wherry is false if it is not a trigger. sent4: if the shipping ogles but it is not incorrupt the Bell is not a trigger. sent5: the allopurinol does not engulf if something is not cryogenic. sent6: something is not diatonic if the fact that it does not engulf and it is not a wherry is wrong. ; $proof$ = 
sent1 -> int1: there is something such that it is not cryogenic.; int1 & sent2 -> int2: the shipping ogles and is not incorrupt.; int2 & sent4 -> int3: the Bell is not a trigger.; sent3 -> int4: that the Bell does not engulf and is not a wherry is not true if it is not a trigger.; int3 & int4 -> int5: the fact that the Bell does not engulf and is not a wherry is not right.; sent6 -> int6: the Bell is non-diatonic if the fact that it does not engulf and is not a wherry does not hold.; int5 & int6 -> hypothesis; __DISPROVED__