the thirsting NOC does not occur.
sent1: that the squawk does not occur is prevented by the disjunction. sent2: if the hitching hickory does not occur that the enlarging does not occur and the trebling salinometer does not occur is wrong. sent3: the hitching hickory does not occur. sent4: if the fact that the enlarging does not occur and the trebling salinometer does not occur is false then the trebling salinometer happens. sent5: both the expurgation and the disjunction happens. sent6: if the fact that not the expurgation but the disjunction happens is not right the expurgation happens.
sent5 -> int1: the disjunction happens.; int1 & sent1 -> int2: the squawk happens.; sent2 & sent3 -> int3: that the enlarging does not occur and the trebling salinometer does not occur is wrong.; sent4 & int3 -> int4: the trebling salinometer happens.; int2 & int4 -> int5: the squawking occurs and the trebling salinometer happens.;
the thirsting NOC happens.
$hypothesis$ = the thirsting NOC does not occur. ; $context$ = sent1: that the squawk does not occur is prevented by the disjunction. sent2: if the hitching hickory does not occur that the enlarging does not occur and the trebling salinometer does not occur is wrong. sent3: the hitching hickory does not occur. sent4: if the fact that the enlarging does not occur and the trebling salinometer does not occur is false then the trebling salinometer happens. sent5: both the expurgation and the disjunction happens. sent6: if the fact that not the expurgation but the disjunction happens is not right the expurgation happens. ; $proof$ = 
sent5 -> int1: the disjunction happens.; int1 & sent1 -> int2: the squawk happens.; sent2 & sent3 -> int3: that the enlarging does not occur and the trebling salinometer does not occur is wrong.; sent4 & int3 -> int4: the trebling salinometer happens.; int2 & int4 -> int5: the squawking occurs and the trebling salinometer happens.; __UNKNOWN__