the cropping shrapnel happens if that the focalization happens hold.
sent1: the fact that the whimper does not occur and the shogi does not occur is not correct. sent2: the thenalness happens. sent3: the anticipating malacology does not occur and the cropping Iberian does not occur. sent4: the cropping Lowlander occurs. sent5: the once-over happens if that the comatoseness occurs hold. sent6: the full-termness occurs if the mintiness happens. sent7: the distraction does not occur and the anticipating crookneck does not occur. sent8: the colorfulness occurs.
void -> assump1: Let's assume that the chorionicness does not occur and the focalization does not occur.; assump1 -> int1: the focalization does not occur.; void -> assump2: Let's assume that the fact that the focalization happens hold.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the chorionicness does not occur and the focalization does not occur is wrong.;
$hypothesis$ = the cropping shrapnel happens if that the focalization happens hold. ; $context$ = sent1: the fact that the whimper does not occur and the shogi does not occur is not correct. sent2: the thenalness happens. sent3: the anticipating malacology does not occur and the cropping Iberian does not occur. sent4: the cropping Lowlander occurs. sent5: the once-over happens if that the comatoseness occurs hold. sent6: the full-termness occurs if the mintiness happens. sent7: the distraction does not occur and the anticipating crookneck does not occur. sent8: the colorfulness occurs. ; $proof$ = 
void -> assump1: Let's assume that the chorionicness does not occur and the focalization does not occur.; assump1 -> int1: the focalization does not occur.; void -> assump2: Let's assume that the fact that the focalization happens hold.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the chorionicness does not occur and the focalization does not occur is wrong.; __UNKNOWN__