the encrusting does not occur.
sent1: if the scarring occurs and the encrusting happens the cessation does not occur. sent2: if the lobotomy does not occur the scar does not occur and the encrusting happens. sent3: if the fact that the robbery does not occur is not incorrect the drafting happens. sent4: the communization does not occur. sent5: that the stoppableness occurs and the drafting happens is caused by that the robbery does not occur. sent6: the robbery does not occur. sent7: if that the citifying Balder does not occur and the homonymicness happens is false the citifying Balder happens. sent8: if the lobotomy occurs then the scarring happens. sent9: that both the citifying Balder and the homonymicness happens does not hold if the fact that the stoppableness happens is right. sent10: the lobotomy occurs if the fact that not the convulsing but the spring happens does not hold. sent11: if the stoppableness happens then the fact that not the citifying Balder but the homonymicness occurs is incorrect. sent12: both the non-homonymicness and the unstoppableness happens if that the drafting does not occur is correct. sent13: the fact that the convulsing does not occur but the springing occurs does not hold.
sent10 & sent13 -> int1: the lobotomy occurs.; int1 & sent8 -> int2: the scarring happens.; void -> assump1: Let's assume that the encrusting happens.; int2 & assump1 -> int3: the scarring and the encrusting occurs.; int3 & sent1 -> int4: the cessation does not occur.; sent5 & sent6 -> int5: the stoppableness and the drafting happens.; int5 -> int6: the stoppableness happens.; sent11 & int6 -> int7: the fact that the citifying Balder does not occur and the homonymicness happens does not hold.; sent7 & int7 -> int8: the citifying Balder happens.;
the encrusting happens.
$hypothesis$ = the encrusting does not occur. ; $context$ = sent1: if the scarring occurs and the encrusting happens the cessation does not occur. sent2: if the lobotomy does not occur the scar does not occur and the encrusting happens. sent3: if the fact that the robbery does not occur is not incorrect the drafting happens. sent4: the communization does not occur. sent5: that the stoppableness occurs and the drafting happens is caused by that the robbery does not occur. sent6: the robbery does not occur. sent7: if that the citifying Balder does not occur and the homonymicness happens is false the citifying Balder happens. sent8: if the lobotomy occurs then the scarring happens. sent9: that both the citifying Balder and the homonymicness happens does not hold if the fact that the stoppableness happens is right. sent10: the lobotomy occurs if the fact that not the convulsing but the spring happens does not hold. sent11: if the stoppableness happens then the fact that not the citifying Balder but the homonymicness occurs is incorrect. sent12: both the non-homonymicness and the unstoppableness happens if that the drafting does not occur is correct. sent13: the fact that the convulsing does not occur but the springing occurs does not hold. ; $proof$ = 
sent10 & sent13 -> int1: the lobotomy occurs.; int1 & sent8 -> int2: the scarring happens.; void -> assump1: Let's assume that the encrusting happens.; int2 & assump1 -> int3: the scarring and the encrusting occurs.; int3 & sent1 -> int4: the cessation does not occur.; sent5 & sent6 -> int5: the stoppableness and the drafting happens.; int5 -> int6: the stoppableness happens.; sent11 & int6 -> int7: the fact that the citifying Balder does not occur and the homonymicness happens does not hold.; sent7 & int7 -> int8: the citifying Balder happens.; __UNKNOWN__