the cross-linking does not occur.
sent1: the stupidness does not occur if the sequencing assassination does not occur. sent2: either the perversion or the hob or both happens. sent3: if the perversion does not occur and/or the hobbing occurs then the sequencing assassination does not occur. sent4: if the perversion does not occur then the sequencing assassination does not occur. sent5: the quartering Homarus or the laugh or both occurs. sent6: if the approval occurs the stupidness happens. sent7: the approval does not occur if that the non-afferentness or the quartzoseness or both happens does not hold. sent8: the perversion happens. sent9: the fact that the non-afferentness and the quartzoseness happens is false. sent10: if that the afferentness does not occur and the quartzoseness does not occur is wrong then that the approval happens is not incorrect. sent11: the cross-linking does not occur if the fact that either the perversion does not occur or the hob occurs or both is not correct. sent12: the fact that if the fact that the perversion or the hob or both occurs is not right the cross-link does not occur hold. sent13: if that the quartzoseness happens hold the approval happens. sent14: the polymorphicness happens. sent15: the approval does not occur if the afferent but not the quartzoseness happens. sent16: the afferent and the non-quartzoseness happens if the crocheting rhesus does not occur.
void -> assump1: Let's assume that either the perversion does not occur or the hobbing happens or both.; sent3 & assump1 -> int1: the sequencing assassination does not occur.; int1 & sent1 -> int2: the stupid does not occur.;
the strut occurs.
$hypothesis$ = the cross-linking does not occur. ; $context$ = sent1: the stupidness does not occur if the sequencing assassination does not occur. sent2: either the perversion or the hob or both happens. sent3: if the perversion does not occur and/or the hobbing occurs then the sequencing assassination does not occur. sent4: if the perversion does not occur then the sequencing assassination does not occur. sent5: the quartering Homarus or the laugh or both occurs. sent6: if the approval occurs the stupidness happens. sent7: the approval does not occur if that the non-afferentness or the quartzoseness or both happens does not hold. sent8: the perversion happens. sent9: the fact that the non-afferentness and the quartzoseness happens is false. sent10: if that the afferentness does not occur and the quartzoseness does not occur is wrong then that the approval happens is not incorrect. sent11: the cross-linking does not occur if the fact that either the perversion does not occur or the hob occurs or both is not correct. sent12: the fact that if the fact that the perversion or the hob or both occurs is not right the cross-link does not occur hold. sent13: if that the quartzoseness happens hold the approval happens. sent14: the polymorphicness happens. sent15: the approval does not occur if the afferent but not the quartzoseness happens. sent16: the afferent and the non-quartzoseness happens if the crocheting rhesus does not occur. ; $proof$ = 
void -> assump1: Let's assume that either the perversion does not occur or the hobbing happens or both.; sent3 & assump1 -> int1: the sequencing assassination does not occur.; int1 & sent1 -> int2: the stupid does not occur.; __UNKNOWN__