the fact that the loyalness happens is not incorrect.
sent1: the fact that the microwaving does not occur hold. sent2: that the cardiography does not occur is triggered by the ichthyolatry. sent3: that the protrusion does not occur is not wrong. sent4: that the symphonicness but not the feuding happens is triggered by that the incorporealness does not occur. sent5: the ichthyolatry occurs if both the symphonicness and the feuding happens. sent6: the planetariness does not occur if the fact that the cardiography does not occur is not wrong. sent7: the ichthyolatry happens if the symphonicness occurs and the feud does not occur. sent8: if the planetariness does not occur that the loyalness occurs is correct.
void -> assump1: Let's assume that the incorporealness occurs.; sent1 & assump1 -> int1: the microwave does not occur but the incorporealness occurs.;
$hypothesis$ = the fact that the loyalness happens is not incorrect. ; $context$ = sent1: the fact that the microwaving does not occur hold. sent2: that the cardiography does not occur is triggered by the ichthyolatry. sent3: that the protrusion does not occur is not wrong. sent4: that the symphonicness but not the feuding happens is triggered by that the incorporealness does not occur. sent5: the ichthyolatry occurs if both the symphonicness and the feuding happens. sent6: the planetariness does not occur if the fact that the cardiography does not occur is not wrong. sent7: the ichthyolatry happens if the symphonicness occurs and the feud does not occur. sent8: if the planetariness does not occur that the loyalness occurs is correct. ; $proof$ = 
void -> assump1: Let's assume that the incorporealness occurs.; sent1 & assump1 -> int1: the microwave does not occur but the incorporealness occurs.; __UNKNOWN__