the communication occurs.
sent1: if the sculpturalness occurs and/or the transposing occurs the Azerbaijani does not occur. sent2: that the Hinduness occurs causes that the compaction does not occur and the crediting Rosa happens. sent3: the fallibleness does not occur. sent4: if the sculpturalness happens that the alkalineness does not occur and the transpose occurs is not correct. sent5: the compaction occurs. sent6: if the subcontracting does not occur then the fact that the undramaticness happens and the unifilarness occurs is correct. sent7: that the Hindu but not the coarctation happens is brought about by that the undramaticness occurs. sent8: the alkalineness happens if the compaction occurs. sent9: that the communication does not occur but the devastation occurs is not correct if the compaction does not occur. sent10: if the consummation but not the fallibleness occurs the fact that the alkalineness does not occur is not incorrect. sent11: that the communication and the devastation happens is triggered by the non-Azerbaijaniness. sent12: the chondrifying does not occur if the fact that not the alkalineness but the transpose happens is false.
void -> assump1: Let's assume that the consummation but not the fallibleness happens.; sent10 & assump1 -> int1: the alkalineness does not occur.; sent8 & sent5 -> int2: the alkalineness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the consummation but not the fallibleness occurs does not hold.;
the chondrifying does not occur.
$hypothesis$ = the communication occurs. ; $context$ = sent1: if the sculpturalness occurs and/or the transposing occurs the Azerbaijani does not occur. sent2: that the Hinduness occurs causes that the compaction does not occur and the crediting Rosa happens. sent3: the fallibleness does not occur. sent4: if the sculpturalness happens that the alkalineness does not occur and the transpose occurs is not correct. sent5: the compaction occurs. sent6: if the subcontracting does not occur then the fact that the undramaticness happens and the unifilarness occurs is correct. sent7: that the Hindu but not the coarctation happens is brought about by that the undramaticness occurs. sent8: the alkalineness happens if the compaction occurs. sent9: that the communication does not occur but the devastation occurs is not correct if the compaction does not occur. sent10: if the consummation but not the fallibleness occurs the fact that the alkalineness does not occur is not incorrect. sent11: that the communication and the devastation happens is triggered by the non-Azerbaijaniness. sent12: the chondrifying does not occur if the fact that not the alkalineness but the transpose happens is false. ; $proof$ = 
void -> assump1: Let's assume that the consummation but not the fallibleness happens.; sent10 & assump1 -> int1: the alkalineness does not occur.; sent8 & sent5 -> int2: the alkalineness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the consummation but not the fallibleness occurs does not hold.; __UNKNOWN__