the northwester occurs and the gallivanting does not occur.
sent1: if that the systematicsness does not occur is correct then the emblazoning does not occur and the Mesoamericanness happens. sent2: if the clack happens the fact that the northwester happens is correct. sent3: if that the cephalometry occurs hold then that not the emblazoning but the systematicsness occurs is not true. sent4: the redeploying whelk occurs. sent5: the clack occurs if that not the emblazoning but the systematicsness happens is not correct. sent6: the cephalometry does not occur if the cephalometry does not occur and/or the emblazoning happens. sent7: the cephalometry occurs and the Mesoamericanness occurs. sent8: that the emblazoning occurs and the systematicsness happens does not hold. sent9: that the calamity does not occur leads to that the northwester does not occur and the gallivanting happens. sent10: the fact that if that the cephalometry does not occur hold that the northwester happens but the gallivanting does not occur is not true hold. sent11: the fact that the Mesoamerican happens is not wrong if the systematicsness happens. sent12: if the cephalometry occurs then that the emblazoning and the systematicsness happens does not hold. sent13: the fact that the redeploying shinny does not occur and the kittee happens is incorrect if that the redeploying crudeness happens is correct. sent14: not the gallivanting but the calamity occurs. sent15: if the cephalometry does not occur then the branchialness but not the unportableness happens.
sent7 -> int1: the cephalometry occurs.; int1 & sent3 -> int2: the fact that the emblazoning does not occur but the systematicsness occurs is not true.; int2 & sent5 -> int3: the clack occurs.; int3 & sent2 -> int4: the northwester happens.; sent14 -> int5: the gallivanting does not occur.; int4 & int5 -> hypothesis;
the fact that that the northwester happens but the gallivanting does not occur does not hold is true.
$hypothesis$ = the northwester occurs and the gallivanting does not occur. ; $context$ = sent1: if that the systematicsness does not occur is correct then the emblazoning does not occur and the Mesoamericanness happens. sent2: if the clack happens the fact that the northwester happens is correct. sent3: if that the cephalometry occurs hold then that not the emblazoning but the systematicsness occurs is not true. sent4: the redeploying whelk occurs. sent5: the clack occurs if that not the emblazoning but the systematicsness happens is not correct. sent6: the cephalometry does not occur if the cephalometry does not occur and/or the emblazoning happens. sent7: the cephalometry occurs and the Mesoamericanness occurs. sent8: that the emblazoning occurs and the systematicsness happens does not hold. sent9: that the calamity does not occur leads to that the northwester does not occur and the gallivanting happens. sent10: the fact that if that the cephalometry does not occur hold that the northwester happens but the gallivanting does not occur is not true hold. sent11: the fact that the Mesoamerican happens is not wrong if the systematicsness happens. sent12: if the cephalometry occurs then that the emblazoning and the systematicsness happens does not hold. sent13: the fact that the redeploying shinny does not occur and the kittee happens is incorrect if that the redeploying crudeness happens is correct. sent14: not the gallivanting but the calamity occurs. sent15: if the cephalometry does not occur then the branchialness but not the unportableness happens. ; $proof$ = 
sent7 -> int1: the cephalometry occurs.; int1 & sent3 -> int2: the fact that the emblazoning does not occur but the systematicsness occurs is not true.; int2 & sent5 -> int3: the clack occurs.; int3 & sent2 -> int4: the northwester happens.; sent14 -> int5: the gallivanting does not occur.; int4 & int5 -> hypothesis; __PROVED__