the hypnotizing one-half occurs.
sent1: the sub-test does not occur if the carding does not occur and the burglariousness does not occur. sent2: if the exclaiming climatology happens then the prolixness occurs. sent3: the circling happens if the undependableness happens. sent4: the exclaiming pasty happens if the colonization occurs. sent5: if the burglariousness happens the circling happens but the cards does not occur. sent6: the mainness and the exclaiming climatology happens. sent7: the exculpatoriness happens if the fact that the colonization does not occur and/or the exclaiming principalship happens does not hold. sent8: if that the exclaiming pasty does not occur and the undependableness does not occur is not true the exclaiming principalship occurs. sent9: the burglariousness does not occur if the prolixness happens. sent10: the eliminating effleurage happens if the pinning evasion happens. sent11: if that the pleasantry does not occur is not wrong the sub-test and the burglariousness happens. sent12: the fact that the cards does not occur hold if the fact that the circling happens is correct. sent13: if the exclaiming principalship happens the exclaiming pasty happens. sent14: the internationalization does not occur. sent15: the exclaiming pasty yields that the undependableness occurs. sent16: either the colonization happens or the exclaiming principalship happens or both.
sent16 & sent4 & sent13 -> int1: the exclaiming pasty occurs.; int1 & sent15 -> int2: the undependableness occurs.; int2 & sent3 -> int3: the circling happens.; int3 & sent12 -> int4: the cards does not occur.; sent6 -> int5: the exclaiming climatology occurs.; sent2 & int5 -> int6: the prolixness occurs.; sent9 & int6 -> int7: the burglariousness does not occur.; int4 & int7 -> int8: the cards does not occur and the burglariousness does not occur.; int8 & sent1 -> int9: the sub-test does not occur.;
the exculpatoriness occurs.
$hypothesis$ = the hypnotizing one-half occurs. ; $context$ = sent1: the sub-test does not occur if the carding does not occur and the burglariousness does not occur. sent2: if the exclaiming climatology happens then the prolixness occurs. sent3: the circling happens if the undependableness happens. sent4: the exclaiming pasty happens if the colonization occurs. sent5: if the burglariousness happens the circling happens but the cards does not occur. sent6: the mainness and the exclaiming climatology happens. sent7: the exculpatoriness happens if the fact that the colonization does not occur and/or the exclaiming principalship happens does not hold. sent8: if that the exclaiming pasty does not occur and the undependableness does not occur is not true the exclaiming principalship occurs. sent9: the burglariousness does not occur if the prolixness happens. sent10: the eliminating effleurage happens if the pinning evasion happens. sent11: if that the pleasantry does not occur is not wrong the sub-test and the burglariousness happens. sent12: the fact that the cards does not occur hold if the fact that the circling happens is correct. sent13: if the exclaiming principalship happens the exclaiming pasty happens. sent14: the internationalization does not occur. sent15: the exclaiming pasty yields that the undependableness occurs. sent16: either the colonization happens or the exclaiming principalship happens or both. ; $proof$ = 
sent16 & sent4 & sent13 -> int1: the exclaiming pasty occurs.; int1 & sent15 -> int2: the undependableness occurs.; int2 & sent3 -> int3: the circling happens.; int3 & sent12 -> int4: the cards does not occur.; sent6 -> int5: the exclaiming climatology occurs.; sent2 & int5 -> int6: the prolixness occurs.; sent9 & int6 -> int7: the burglariousness does not occur.; int4 & int7 -> int8: the cards does not occur and the burglariousness does not occur.; int8 & sent1 -> int9: the sub-test does not occur.; __UNKNOWN__