that the fact that the Nicaraguanness happens is true if the socializing occurs is false.
sent1: if that not the socializing but the Zionistness occurs is incorrect the amoebicness occurs. sent2: if the fact that the socializing occurs and the Zionistness occurs does not hold the amoebicness happens. sent3: if that the amoebicness does not occur is true the fact that the Zionistness happens but the socializing does not occur is not true. sent4: that the Zionist does not occur leads to the amoebicness. sent5: the intransitiveness happens. sent6: the basking exotoxin yields the deploring Squatinidae. sent7: if that the Zionistness happens and the socializing does not occur is not right then the impairing revenant does not occur. sent8: the fact that the non-gutsyness and the riposting happens is not true. sent9: if that the prehistoricness happens is not false the primingness happens. sent10: the likableness occurs if the skateboarding happens. sent11: the Zionistness happens. sent12: the downpour occurs and the impairing Carabidae happens. sent13: that the Nicaraguanness occurs is triggered by the amoebicness. sent14: that the impairing activator happens triggers that the intransitiveness occurs. sent15: the glottalness happens if the calyculateness happens. sent16: if the socializing does not occur and the Zionist happens then the fact that the amoebicness occurs is true. sent17: the socializing and the Zionist occurs.
void -> assump2: Let's assume that the socializing does not occur but the Zionistness happens.; assump2 -> int1: the socializing does not occur.; void -> assump1: Let's assume that the socializing happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that not the socializing but the Zionist occurs is wrong.; int3 & sent1 -> int4: the fact that the amoebicness happens is right.; int4 & sent13 -> int5: the Nicaraguanness happens.; [assump1] & int5 -> hypothesis;
not the impairing revenant but the khanate occurs.
$hypothesis$ = that the fact that the Nicaraguanness happens is true if the socializing occurs is false. ; $context$ = sent1: if that not the socializing but the Zionistness occurs is incorrect the amoebicness occurs. sent2: if the fact that the socializing occurs and the Zionistness occurs does not hold the amoebicness happens. sent3: if that the amoebicness does not occur is true the fact that the Zionistness happens but the socializing does not occur is not true. sent4: that the Zionist does not occur leads to the amoebicness. sent5: the intransitiveness happens. sent6: the basking exotoxin yields the deploring Squatinidae. sent7: if that the Zionistness happens and the socializing does not occur is not right then the impairing revenant does not occur. sent8: the fact that the non-gutsyness and the riposting happens is not true. sent9: if that the prehistoricness happens is not false the primingness happens. sent10: the likableness occurs if the skateboarding happens. sent11: the Zionistness happens. sent12: the downpour occurs and the impairing Carabidae happens. sent13: that the Nicaraguanness occurs is triggered by the amoebicness. sent14: that the impairing activator happens triggers that the intransitiveness occurs. sent15: the glottalness happens if the calyculateness happens. sent16: if the socializing does not occur and the Zionist happens then the fact that the amoebicness occurs is true. sent17: the socializing and the Zionist occurs. ; $proof$ = 
void -> assump2: Let's assume that the socializing does not occur but the Zionistness happens.; assump2 -> int1: the socializing does not occur.; void -> assump1: Let's assume that the socializing happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that not the socializing but the Zionist occurs is wrong.; int3 & sent1 -> int4: the fact that the amoebicness happens is right.; int4 & sent13 -> int5: the Nicaraguanness happens.; [assump1] & int5 -> hypothesis; __DISPROVED__