the professorialness occurs.
sent1: the fact that not the cathecting foster-sister but the diaphysealness occurs is false if the fact that the unfreeness occurs is not false. sent2: if the fact that the rehearsal does not occur and the granulation does not occur does not hold then the volcanism does not occur. sent3: that the philandering Citlaltepetl does not occur and the philandering Elateridae occurs leads to the non-genitourinaryness. sent4: that the professorialness does not occur is caused by that both the non-genitourinariness and the alliance happens. sent5: the professorialness happens if the fact that the Concord does not occur is not false. sent6: the alliance occurs. sent7: the fact that the anhydrousness does not occur and the Concord occurs is not correct if the alliance occurs. sent8: if the volcanism does not occur then the philandering Elateridae occurs and the philandering Citlaltepetl happens. sent9: not the alliance but the professorialness occurs if the genitourinariness does not occur. sent10: the non-genitourinaryness and the alliance occurs if the fact that the philandering Citlaltepetl happens is true. sent11: the professorialness occurs if the fact that that the non-anhydrousness and the Concord happens is not wrong is not correct. sent12: if the volcanism does not occur then not the philandering Citlaltepetl but the philandering Elateridae happens. sent13: if that the alliance does not occur and the professorialness occurs is not wrong then the prop happens.
sent7 & sent6 -> int1: that the fact that the anhydrousness does not occur and the Concord occurs hold is not right.; sent11 & int1 -> hypothesis;
the propping occurs.
$hypothesis$ = the professorialness occurs. ; $context$ = sent1: the fact that not the cathecting foster-sister but the diaphysealness occurs is false if the fact that the unfreeness occurs is not false. sent2: if the fact that the rehearsal does not occur and the granulation does not occur does not hold then the volcanism does not occur. sent3: that the philandering Citlaltepetl does not occur and the philandering Elateridae occurs leads to the non-genitourinaryness. sent4: that the professorialness does not occur is caused by that both the non-genitourinariness and the alliance happens. sent5: the professorialness happens if the fact that the Concord does not occur is not false. sent6: the alliance occurs. sent7: the fact that the anhydrousness does not occur and the Concord occurs is not correct if the alliance occurs. sent8: if the volcanism does not occur then the philandering Elateridae occurs and the philandering Citlaltepetl happens. sent9: not the alliance but the professorialness occurs if the genitourinariness does not occur. sent10: the non-genitourinaryness and the alliance occurs if the fact that the philandering Citlaltepetl happens is true. sent11: the professorialness occurs if the fact that that the non-anhydrousness and the Concord happens is not wrong is not correct. sent12: if the volcanism does not occur then not the philandering Citlaltepetl but the philandering Elateridae happens. sent13: if that the alliance does not occur and the professorialness occurs is not wrong then the prop happens. ; $proof$ = 
sent7 & sent6 -> int1: that the fact that the anhydrousness does not occur and the Concord occurs hold is not right.; sent11 & int1 -> hypothesis; __PROVED__