that the fact that the humanization occurs but the parading does not occur is wrong if the binding occurs is not true.
sent1: if the waddle does not occur then the fact that the humanization occurs and the parading does not occur does not hold. sent2: if the humanization does not occur that both the decreasing platitude and the parading happens is not true. sent3: if the binding does not occur then the fact that the nudging but not the horsewhipping happens is incorrect. sent4: that if the binding happens then that the humanization and the parade happens does not hold is not false. sent5: the paleocorticalness happens if the binding happens. sent6: that that both the non-polyploidness and the non-paleocorticalness occurs is false hold if the creaming contestee occurs. sent7: if the fact that the creaming contestee does not occur and the polyploidness does not occur is not true the waddle does not occur. sent8: the fact that the creaming contestee does not occur and the polyploidness does not occur is false if the paleocorticalness occurs. sent9: that the humanization does not occur is triggered by that the gallantry does not occur and the confidentness happens. sent10: the parade does not occur if that both the decreasing platitude and the parade happens does not hold.
void -> assump1: Let's assume that the binding occurs.; sent5 & assump1 -> int1: the paleocorticalness happens.; int1 & sent8 -> int2: the fact that the creaming contestee does not occur and the polyploid does not occur does not hold.; int2 & sent7 -> int3: the waddle does not occur.; int3 & sent1 -> int4: the fact that the humanization occurs but the parade does not occur is not true.; [assump1] & int4 -> hypothesis;
the fact that the nudge but not the horsewhipping happens is false.
$hypothesis$ = that the fact that the humanization occurs but the parading does not occur is wrong if the binding occurs is not true. ; $context$ = sent1: if the waddle does not occur then the fact that the humanization occurs and the parading does not occur does not hold. sent2: if the humanization does not occur that both the decreasing platitude and the parading happens is not true. sent3: if the binding does not occur then the fact that the nudging but not the horsewhipping happens is incorrect. sent4: that if the binding happens then that the humanization and the parade happens does not hold is not false. sent5: the paleocorticalness happens if the binding happens. sent6: that that both the non-polyploidness and the non-paleocorticalness occurs is false hold if the creaming contestee occurs. sent7: if the fact that the creaming contestee does not occur and the polyploidness does not occur is not true the waddle does not occur. sent8: the fact that the creaming contestee does not occur and the polyploidness does not occur is false if the paleocorticalness occurs. sent9: that the humanization does not occur is triggered by that the gallantry does not occur and the confidentness happens. sent10: the parade does not occur if that both the decreasing platitude and the parade happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that the binding occurs.; sent5 & assump1 -> int1: the paleocorticalness happens.; int1 & sent8 -> int2: the fact that the creaming contestee does not occur and the polyploid does not occur does not hold.; int2 & sent7 -> int3: the waddle does not occur.; int3 & sent1 -> int4: the fact that the humanization occurs but the parade does not occur is not true.; [assump1] & int4 -> hypothesis; __DISPROVED__