the wrestling aigrette does not occur.
sent1: the fact that the unhealthfulness and the orthographicness occurs is not false if the minorsness does not occur. sent2: the wrestling aigrette does not occur if that the stinting yawn and the trustworthiness happens is false. sent3: the orthographicness is prevented by that the healthfulness and the grumbling muteness happens. sent4: if the diabaticness occurs then the steadying occurs. sent5: if that the auditing happens is not false that the minorsness and the non-steadyingness occurs does not hold. sent6: if the stinting recital but not the concatenation happens then the healthfulness occurs. sent7: the non-healthfulness yields that the wrestling aigrette and the grumbling muteness happens. sent8: if that the audit occurs and the minorsness occurs is incorrect then the steadying does not occur. sent9: if the orthographicness does not occur then the fact that the audit occurs and the minorsness occurs is false. sent10: the diabaticness happens. sent11: the stinting recital occurs and the concatenation does not occur.
sent6 & sent11 -> int1: the healthfulness occurs.; void -> assump1: Let's assume that the grumbling muteness occurs.; int1 & assump1 -> int2: both the healthfulness and the grumbling muteness happens.; int2 & sent3 -> int3: the orthographicness does not occur.; int3 & sent9 -> int4: the fact that the audit and the minorsness happens is not right.; int4 & sent8 -> int5: the fact that the steadying does not occur hold.; sent4 & sent10 -> int6: the steadyingness occurs.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the grumbling muteness does not occur.;
the wrestling aigrette happens.
$hypothesis$ = the wrestling aigrette does not occur. ; $context$ = sent1: the fact that the unhealthfulness and the orthographicness occurs is not false if the minorsness does not occur. sent2: the wrestling aigrette does not occur if that the stinting yawn and the trustworthiness happens is false. sent3: the orthographicness is prevented by that the healthfulness and the grumbling muteness happens. sent4: if the diabaticness occurs then the steadying occurs. sent5: if that the auditing happens is not false that the minorsness and the non-steadyingness occurs does not hold. sent6: if the stinting recital but not the concatenation happens then the healthfulness occurs. sent7: the non-healthfulness yields that the wrestling aigrette and the grumbling muteness happens. sent8: if that the audit occurs and the minorsness occurs is incorrect then the steadying does not occur. sent9: if the orthographicness does not occur then the fact that the audit occurs and the minorsness occurs is false. sent10: the diabaticness happens. sent11: the stinting recital occurs and the concatenation does not occur. ; $proof$ = 
sent6 & sent11 -> int1: the healthfulness occurs.; void -> assump1: Let's assume that the grumbling muteness occurs.; int1 & assump1 -> int2: both the healthfulness and the grumbling muteness happens.; int2 & sent3 -> int3: the orthographicness does not occur.; int3 & sent9 -> int4: the fact that the audit and the minorsness happens is not right.; int4 & sent8 -> int5: the fact that the steadying does not occur hold.; sent4 & sent10 -> int6: the steadyingness occurs.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the grumbling muteness does not occur.; __UNKNOWN__