the fact that the fact that the kip happens and the situation does not occur is incorrect if the pollination does not occur does not hold.
sent1: the entozoanness does not occur and the pollination occurs if the situation occurs. sent2: if the pollination happens that the kip happens and the situation does not occur is false. sent3: if the crumping does not occur then the coffining handler and the non-unexportableness occurs. sent4: if the entozoanness happens then the pollination occurs. sent5: the fact that the kip and the situation happens is wrong if the entozoanness does not occur. sent6: the Leibnizianness does not occur if the non-entozoanness and the pollination occurs. sent7: that the lamentation occurs and the open-hearthness occurs is wrong. sent8: that the coiling occurs and the jellifying occurs does not hold if the recessionariness does not occur. sent9: that the kip happens and the situation occurs is not true. sent10: if the loading phenol does not occur and/or the jellifying does not occur the kip occurs. sent11: if the entozoanness does not occur then that the kip happens but the situation does not occur is not true.
void -> assump2: Let's assume that the entozoanness happens.; sent4 & assump2 -> int1: the pollination happens.; void -> assump1: Let's assume that the pollination does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the entozoanness does not occur.; int3 & sent11 -> int4: that the kip occurs but the situation does not occur is incorrect.; [assump1] & int4 -> hypothesis;
the Leibnizianness does not occur.
$hypothesis$ = the fact that the fact that the kip happens and the situation does not occur is incorrect if the pollination does not occur does not hold. ; $context$ = sent1: the entozoanness does not occur and the pollination occurs if the situation occurs. sent2: if the pollination happens that the kip happens and the situation does not occur is false. sent3: if the crumping does not occur then the coffining handler and the non-unexportableness occurs. sent4: if the entozoanness happens then the pollination occurs. sent5: the fact that the kip and the situation happens is wrong if the entozoanness does not occur. sent6: the Leibnizianness does not occur if the non-entozoanness and the pollination occurs. sent7: that the lamentation occurs and the open-hearthness occurs is wrong. sent8: that the coiling occurs and the jellifying occurs does not hold if the recessionariness does not occur. sent9: that the kip happens and the situation occurs is not true. sent10: if the loading phenol does not occur and/or the jellifying does not occur the kip occurs. sent11: if the entozoanness does not occur then that the kip happens but the situation does not occur is not true. ; $proof$ = 
void -> assump2: Let's assume that the entozoanness happens.; sent4 & assump2 -> int1: the pollination happens.; void -> assump1: Let's assume that the pollination does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the entozoanness does not occur.; int3 & sent11 -> int4: that the kip occurs but the situation does not occur is incorrect.; [assump1] & int4 -> hypothesis; __DISPROVED__