the wrestling occurs.
sent1: that the lobbing Asimov does not occur and the canonization occurs is wrong if the itineration does not occur. sent2: the lookout does not occur and the regeneration happens. sent3: that the wrestling does not occur is prevented by that not the canonization but the suborning bottom occurs. sent4: if the fact that either the lobbing Asimov does not occur or the canonization does not occur or both is not correct the wrestling does not occur. sent5: the suborning bottom happens. sent6: if the fact that not the canonization but the lobbing Asimov happens is false then the sanitation occurs. sent7: the lobbing Asimov does not occur. sent8: if the suborning bottom does not occur that not the canonization but the lobbing Asimov occurs is false.
void -> assump1: Let's assume that the canonization occurs.; sent7 & assump1 -> int1: not the lobbing Asimov but the canonization happens.;
the sanitation occurs.
$hypothesis$ = the wrestling occurs. ; $context$ = sent1: that the lobbing Asimov does not occur and the canonization occurs is wrong if the itineration does not occur. sent2: the lookout does not occur and the regeneration happens. sent3: that the wrestling does not occur is prevented by that not the canonization but the suborning bottom occurs. sent4: if the fact that either the lobbing Asimov does not occur or the canonization does not occur or both is not correct the wrestling does not occur. sent5: the suborning bottom happens. sent6: if the fact that not the canonization but the lobbing Asimov happens is false then the sanitation occurs. sent7: the lobbing Asimov does not occur. sent8: if the suborning bottom does not occur that not the canonization but the lobbing Asimov occurs is false. ; $proof$ = 
void -> assump1: Let's assume that the canonization occurs.; sent7 & assump1 -> int1: not the lobbing Asimov but the canonization happens.; __UNKNOWN__