the unlikableness occurs and the sweeping occurs.
sent1: if the fact that that the Sarawakian occurs and the sweeping does not occur is correct is not right the sweeping happens. sent2: the scrap occurs and the saneness occurs. sent3: that the hissing happens and the Appalachianness occurs prevents that the trafficking countersuit occurs. sent4: if that both the exhibit and the non-centigradeness occurs is not true then that the centigradeness occurs is not wrong. sent5: if the oblateness does not occur then the fact that the fact that the unlikableness and the sweeping occurs is wrong is not false. sent6: the unlikableness and the dogmatizing redeye happens if the trafficking countersuit does not occur. sent7: the fact that the Sarawakian but not the sweeping occurs is not true if the coronary does not occur. sent8: the oblate occurs and the hissing happens. sent9: that both the oblateness and the Appalachianness happens is not true if the hiss does not occur. sent10: the coronariness does not occur. sent11: if the hymenopterousness does not occur then the dogmatizing redeye occurs and the Sarawakian occurs. sent12: if the praetorship does not occur then the fact that the moot but not the trafficking larvacean occurs is wrong. sent13: that the dogmatizing redeye happens and the trafficking countersuit happens prevents the hissing.
sent8 -> int1: the hissing occurs.; sent7 & sent10 -> int2: that the Sarawakianness happens and the sweeping does not occur does not hold.; sent1 & int2 -> int3: the sweeping happens.;
that both the unlikableness and the sweeping occurs does not hold.
$hypothesis$ = the unlikableness occurs and the sweeping occurs. ; $context$ = sent1: if the fact that that the Sarawakian occurs and the sweeping does not occur is correct is not right the sweeping happens. sent2: the scrap occurs and the saneness occurs. sent3: that the hissing happens and the Appalachianness occurs prevents that the trafficking countersuit occurs. sent4: if that both the exhibit and the non-centigradeness occurs is not true then that the centigradeness occurs is not wrong. sent5: if the oblateness does not occur then the fact that the fact that the unlikableness and the sweeping occurs is wrong is not false. sent6: the unlikableness and the dogmatizing redeye happens if the trafficking countersuit does not occur. sent7: the fact that the Sarawakian but not the sweeping occurs is not true if the coronary does not occur. sent8: the oblate occurs and the hissing happens. sent9: that both the oblateness and the Appalachianness happens is not true if the hiss does not occur. sent10: the coronariness does not occur. sent11: if the hymenopterousness does not occur then the dogmatizing redeye occurs and the Sarawakian occurs. sent12: if the praetorship does not occur then the fact that the moot but not the trafficking larvacean occurs is wrong. sent13: that the dogmatizing redeye happens and the trafficking countersuit happens prevents the hissing. ; $proof$ = 
sent8 -> int1: the hissing occurs.; sent7 & sent10 -> int2: that the Sarawakianness happens and the sweeping does not occur does not hold.; sent1 & int2 -> int3: the sweeping happens.; __UNKNOWN__