the Gore occurs.
sent1: if the fact that the boricness does not occur and the squeaker does not occur is not true then the earliness does not occur. sent2: that not the subscription but the kiss happens is not right if the seeing does not occur. sent3: if the fact that not the subscription but the kiss happens is wrong the Gore happens. sent4: if the straightening bindery occurs then the pushing madrigal does not occur and the penileness occurs. sent5: the earliness happens and the concussion occurs. sent6: the alveolarness happens if the boricness does not occur and the squeaker does not occur. sent7: the see does not occur if the penileness occurs and the alveolar occurs. sent8: that the censor does not occur yields that the contemplating follies and the straightening bindery happens. sent9: the Gore does not occur if the fact that the alveolar and the earliness happens is wrong.
void -> assump1: Let's assume that that the boricness does not occur and the squeaker does not occur does not hold.; sent1 & assump1 -> int1: the earliness does not occur.; sent5 -> int2: the earliness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the boricness does not occur and the squeaker does not occur.; int4 & sent6 -> int5: the alveolar happens.;
the Gore does not occur.
$hypothesis$ = the Gore occurs. ; $context$ = sent1: if the fact that the boricness does not occur and the squeaker does not occur is not true then the earliness does not occur. sent2: that not the subscription but the kiss happens is not right if the seeing does not occur. sent3: if the fact that not the subscription but the kiss happens is wrong the Gore happens. sent4: if the straightening bindery occurs then the pushing madrigal does not occur and the penileness occurs. sent5: the earliness happens and the concussion occurs. sent6: the alveolarness happens if the boricness does not occur and the squeaker does not occur. sent7: the see does not occur if the penileness occurs and the alveolar occurs. sent8: that the censor does not occur yields that the contemplating follies and the straightening bindery happens. sent9: the Gore does not occur if the fact that the alveolar and the earliness happens is wrong. ; $proof$ = 
void -> assump1: Let's assume that that the boricness does not occur and the squeaker does not occur does not hold.; sent1 & assump1 -> int1: the earliness does not occur.; sent5 -> int2: the earliness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the boricness does not occur and the squeaker does not occur.; int4 & sent6 -> int5: the alveolar happens.; __UNKNOWN__