that if the sallow occurs the fact that the fact that the nestling does not occur hold does not hold is incorrect.
sent1: the intelligentness does not occur if the clarion does not occur and the shallow-draftness does not occur. sent2: the pilferage does not occur. sent3: the sallow is prevented by that the incorporating Megaloptera does not occur and the pilferage does not occur. sent4: the sallow happens if that the incorporating Megaloptera does not occur and the pilferage does not occur is not false. sent5: the nestling occurs if the incorporating Megaloptera occurs. sent6: the fact that the ungregariousness does not occur is correct.
void -> assump1: Let's assume that the sallowing occurs.; void -> assump2: Let's assume that the incorporating Megaloptera does not occur.; assump2 & sent2 -> int1: the incorporating Megaloptera does not occur and the pilferage does not occur.; sent3 & int1 -> int2: the sallow does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the incorporating Megaloptera happens.; sent5 & int4 -> int5: that the nestling happens is not wrong.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that if the sallow occurs the fact that the fact that the nestling does not occur hold does not hold is incorrect. ; $context$ = sent1: the intelligentness does not occur if the clarion does not occur and the shallow-draftness does not occur. sent2: the pilferage does not occur. sent3: the sallow is prevented by that the incorporating Megaloptera does not occur and the pilferage does not occur. sent4: the sallow happens if that the incorporating Megaloptera does not occur and the pilferage does not occur is not false. sent5: the nestling occurs if the incorporating Megaloptera occurs. sent6: the fact that the ungregariousness does not occur is correct. ; $proof$ = 
void -> assump1: Let's assume that the sallowing occurs.; void -> assump2: Let's assume that the incorporating Megaloptera does not occur.; assump2 & sent2 -> int1: the incorporating Megaloptera does not occur and the pilferage does not occur.; sent3 & int1 -> int2: the sallow does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the incorporating Megaloptera happens.; sent5 & int4 -> int5: that the nestling happens is not wrong.; [assump1] & int5 -> hypothesis; __DISPROVED__