the trifurcation occurs.
sent1: if the Eurocentricness does not occur the engraving does not occur and the extrasystole happens. sent2: the cataclinalness does not occur if the cataclinalness does not occur and/or the reprieve does not occur. sent3: if the fact that the tasting Phylloporus occurs but the unfriendliness does not occur is false the Eurocentricness does not occur. sent4: if the floweriness does not occur then that the tasting Phylloporus but not the unfriendliness happens does not hold. sent5: the fact that the trifurcation but not the cataclinalness occurs does not hold if the reprieve occurs. sent6: either the cataclinalness happens or the reprieve does not occur or both. sent7: the cataclinalness does not occur or the reprieve does not occur or both. sent8: if the trifurcation happens the fact that the cataclinalness happens hold. sent9: the floweriness does not occur if the fact that both the tasting Bletilla and the sweltering pinchbeck occurs is not right. sent10: if the fact that the trifurcation and the non-cataclinalness happens is incorrect the affiliation does not occur. sent11: both the reprieve and the vocation occurs if the engraving does not occur.
void -> assump1: Let's assume that the trifurcation happens.; sent8 & assump1 -> int1: the cataclinalness happens.; sent2 & sent7 -> int2: that the cataclinalness does not occur is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
that the affiliation does not occur and/or the guttering teg does not occur is not false.
$hypothesis$ = the trifurcation occurs. ; $context$ = sent1: if the Eurocentricness does not occur the engraving does not occur and the extrasystole happens. sent2: the cataclinalness does not occur if the cataclinalness does not occur and/or the reprieve does not occur. sent3: if the fact that the tasting Phylloporus occurs but the unfriendliness does not occur is false the Eurocentricness does not occur. sent4: if the floweriness does not occur then that the tasting Phylloporus but not the unfriendliness happens does not hold. sent5: the fact that the trifurcation but not the cataclinalness occurs does not hold if the reprieve occurs. sent6: either the cataclinalness happens or the reprieve does not occur or both. sent7: the cataclinalness does not occur or the reprieve does not occur or both. sent8: if the trifurcation happens the fact that the cataclinalness happens hold. sent9: the floweriness does not occur if the fact that both the tasting Bletilla and the sweltering pinchbeck occurs is not right. sent10: if the fact that the trifurcation and the non-cataclinalness happens is incorrect the affiliation does not occur. sent11: both the reprieve and the vocation occurs if the engraving does not occur. ; $proof$ = 
void -> assump1: Let's assume that the trifurcation happens.; sent8 & assump1 -> int1: the cataclinalness happens.; sent2 & sent7 -> int2: that the cataclinalness does not occur is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__