that if the onness does not occur the non-colorfulness and the cruciferousness occurs is not right.
sent1: if the onness happens then the non-colorfulness and the cruciferousness occurs. sent2: the colorfulness does not occur if the jumper and the onness occurs. sent3: both the jumper and the assembling loser occurs. sent4: the assembling boatyard occurs and the pleading occurs if the Waterloo does not occur. sent5: if the onness occurs then the fact that the jumper does not occur or the assembling loser happens or both is incorrect. sent6: the dynamic happens. sent7: the despite does not occur if that the jumper does not occur and/or the assembling loser occurs is incorrect. sent8: the undynamicness and the non-cruciferousness happens if the assembling boatyard happens. sent9: that the fact that the colorfulness does not occur is true if the jumper and the non-onness happens hold. sent10: if the dynamic occurs the cruciferousness occurs. sent11: that the absenting occurs causes the assembling bulwark and/or that the foundering does not occur.
sent3 -> int1: the jumper occurs.; void -> assump1: Let's assume that the onness does not occur.; int1 & assump1 -> int2: the jumper and the non-onness happens.; int2 & sent9 -> int3: the colorfulness does not occur.; sent10 & sent6 -> int4: the cruciferousness occurs.; int3 & int4 -> int5: both the non-colorfulness and the cruciferousness happens.; [assump1] & int5 -> hypothesis;
the despite does not occur.
$hypothesis$ = that if the onness does not occur the non-colorfulness and the cruciferousness occurs is not right. ; $context$ = sent1: if the onness happens then the non-colorfulness and the cruciferousness occurs. sent2: the colorfulness does not occur if the jumper and the onness occurs. sent3: both the jumper and the assembling loser occurs. sent4: the assembling boatyard occurs and the pleading occurs if the Waterloo does not occur. sent5: if the onness occurs then the fact that the jumper does not occur or the assembling loser happens or both is incorrect. sent6: the dynamic happens. sent7: the despite does not occur if that the jumper does not occur and/or the assembling loser occurs is incorrect. sent8: the undynamicness and the non-cruciferousness happens if the assembling boatyard happens. sent9: that the fact that the colorfulness does not occur is true if the jumper and the non-onness happens hold. sent10: if the dynamic occurs the cruciferousness occurs. sent11: that the absenting occurs causes the assembling bulwark and/or that the foundering does not occur. ; $proof$ = 
sent3 -> int1: the jumper occurs.; void -> assump1: Let's assume that the onness does not occur.; int1 & assump1 -> int2: the jumper and the non-onness happens.; int2 & sent9 -> int3: the colorfulness does not occur.; sent10 & sent6 -> int4: the cruciferousness occurs.; int3 & int4 -> int5: both the non-colorfulness and the cruciferousness happens.; [assump1] & int5 -> hypothesis; __DISPROVED__