that the historiography occurs leads to that the syncategorematicness does not occur.
sent1: that the Ping occurs prevents the historiography. sent2: the fact that both the work and the non-cryonicsness occurs does not hold if the color does not occur. sent3: if that the chemoreceptiveness does not occur is not wrong the fact that the association but not the dissociating bugged occurs is wrong. sent4: if the dissociating prosiness occurs the howl happens. sent5: the simulating occurs if the Armenian does not occur. sent6: that both the cabaret and the resistibleness happens is not right. sent7: the shop happens. sent8: the significantness prevents that the racing occurs. sent9: if the simulating happens the Ping occurs. sent10: that the omissiveness happens or that the syncategorematicness occurs or both prevents the moving buckminsterfullerene. sent11: if the moving buckminsterfullerene does not occur then that the Armenianness but not the aggregating devising happens is wrong. sent12: the solanaceousness does not occur if the moving tessera occurs. sent13: the simulating happens if that the Armenian happens and the aggregating devising does not occur does not hold.
void -> assump2: Let's assume that the historiography occurs.; void -> assump1: Let's assume that the syncategorematicness happens.; assump1 -> int1: the omissiveness occurs or the syncategorematicness happens or both.; sent10 & int1 -> int2: the moving buckminsterfullerene does not occur.; sent11 & int2 -> int3: the fact that the Armenian but not the aggregating devising happens is not correct.; sent13 & int3 -> int4: the simulating occurs.; sent9 & int4 -> int5: the Ping happens.; sent1 & int5 -> int6: the historiography does not occur.; assump2 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the syncategorematicness does not occur.; [assump2] & int8 -> hypothesis;
$hypothesis$ = that the historiography occurs leads to that the syncategorematicness does not occur. ; $context$ = sent1: that the Ping occurs prevents the historiography. sent2: the fact that both the work and the non-cryonicsness occurs does not hold if the color does not occur. sent3: if that the chemoreceptiveness does not occur is not wrong the fact that the association but not the dissociating bugged occurs is wrong. sent4: if the dissociating prosiness occurs the howl happens. sent5: the simulating occurs if the Armenian does not occur. sent6: that both the cabaret and the resistibleness happens is not right. sent7: the shop happens. sent8: the significantness prevents that the racing occurs. sent9: if the simulating happens the Ping occurs. sent10: that the omissiveness happens or that the syncategorematicness occurs or both prevents the moving buckminsterfullerene. sent11: if the moving buckminsterfullerene does not occur then that the Armenianness but not the aggregating devising happens is wrong. sent12: the solanaceousness does not occur if the moving tessera occurs. sent13: the simulating happens if that the Armenian happens and the aggregating devising does not occur does not hold. ; $proof$ = 
void -> assump2: Let's assume that the historiography occurs.; void -> assump1: Let's assume that the syncategorematicness happens.; assump1 -> int1: the omissiveness occurs or the syncategorematicness happens or both.; sent10 & int1 -> int2: the moving buckminsterfullerene does not occur.; sent11 & int2 -> int3: the fact that the Armenian but not the aggregating devising happens is not correct.; sent13 & int3 -> int4: the simulating occurs.; sent9 & int4 -> int5: the Ping happens.; sent1 & int5 -> int6: the historiography does not occur.; assump2 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the syncategorematicness does not occur.; [assump2] & int8 -> hypothesis; __PROVED__