not the pairing ad-lib but the pairing writ happens if the detribalization happens.
sent1: either the benzylicness happens or the glacialness happens or both. sent2: that the pairing ad-lib and the pairing writ happens does not hold if the trot does not occur. sent3: the minorness occurs. sent4: if the bigness does not occur and the swimming specialism does not occur then the trotting does not occur. sent5: both the swimming guidepost and the atomization happens if the detribalization does not occur. sent6: the seriousness occurs and/or the breaking happens. sent7: the fact that the non-handlessness and the tourism occurs is right. sent8: that the pairing ad-lib does not occur is brought about by that the swimming guidepost occurs and/or the detribalization. sent9: if the swimming acetate occurs or the swimming irony happens or both then the wipeout does not occur. sent10: the swimming chabazite occurs. sent11: the swimming guidepost occurs. sent12: that the nonparametricness does not occur is triggered by the vasomotorness or the vocation or both. sent13: not the swimming irony but the retrofitting happens. sent14: the trot occurs.
void -> assump1: Let's assume that the detribalization happens.; assump1 -> int1: the swimming guidepost and/or the detribalization happens.; int1 & sent8 -> int2: the pairing ad-lib does not occur.;
the atomization happens.
$hypothesis$ = not the pairing ad-lib but the pairing writ happens if the detribalization happens. ; $context$ = sent1: either the benzylicness happens or the glacialness happens or both. sent2: that the pairing ad-lib and the pairing writ happens does not hold if the trot does not occur. sent3: the minorness occurs. sent4: if the bigness does not occur and the swimming specialism does not occur then the trotting does not occur. sent5: both the swimming guidepost and the atomization happens if the detribalization does not occur. sent6: the seriousness occurs and/or the breaking happens. sent7: the fact that the non-handlessness and the tourism occurs is right. sent8: that the pairing ad-lib does not occur is brought about by that the swimming guidepost occurs and/or the detribalization. sent9: if the swimming acetate occurs or the swimming irony happens or both then the wipeout does not occur. sent10: the swimming chabazite occurs. sent11: the swimming guidepost occurs. sent12: that the nonparametricness does not occur is triggered by the vasomotorness or the vocation or both. sent13: not the swimming irony but the retrofitting happens. sent14: the trot occurs. ; $proof$ = 
void -> assump1: Let's assume that the detribalization happens.; assump1 -> int1: the swimming guidepost and/or the detribalization happens.; int1 & sent8 -> int2: the pairing ad-lib does not occur.; __UNKNOWN__