the fact that the squiring fesse does not occur and the Independence happens does not hold.
sent1: the scorching pesewa occurs and the diabaticness happens if the supervening does not occur. sent2: if the kenneling jabiru does not occur the fact that the squiring fesse occurs and the Independence happens is false. sent3: if the playing does not occur then that the eversion does not occur and the Salvadoran happens does not hold. sent4: that the diabaticness occurs brings about that the squiring fesse does not occur. sent5: if the motion happens then the fact that the Independence does not occur but the kenneling jabiru happens is incorrect. sent6: if the diabaticness does not occur then the motion does not occur. sent7: the non-diabaticness is caused by the kenneling jabiru. sent8: if that the kenneling jabiru does not occur is not incorrect then that the squiring fesse does not occur and the Independence occurs is false. sent9: the kenneling cachalot occurs and the scorching pesewa happens.
void -> assump1: Let's assume that the kenneling jabiru occurs.; sent7 & assump1 -> int1: the diabaticness does not occur.; sent9 -> int2: the scorching pesewa happens.;
the squiring fesse does not occur but the Independence happens.
$hypothesis$ = the fact that the squiring fesse does not occur and the Independence happens does not hold. ; $context$ = sent1: the scorching pesewa occurs and the diabaticness happens if the supervening does not occur. sent2: if the kenneling jabiru does not occur the fact that the squiring fesse occurs and the Independence happens is false. sent3: if the playing does not occur then that the eversion does not occur and the Salvadoran happens does not hold. sent4: that the diabaticness occurs brings about that the squiring fesse does not occur. sent5: if the motion happens then the fact that the Independence does not occur but the kenneling jabiru happens is incorrect. sent6: if the diabaticness does not occur then the motion does not occur. sent7: the non-diabaticness is caused by the kenneling jabiru. sent8: if that the kenneling jabiru does not occur is not incorrect then that the squiring fesse does not occur and the Independence occurs is false. sent9: the kenneling cachalot occurs and the scorching pesewa happens. ; $proof$ = 
void -> assump1: Let's assume that the kenneling jabiru occurs.; sent7 & assump1 -> int1: the diabaticness does not occur.; sent9 -> int2: the scorching pesewa happens.; __UNKNOWN__