the asexualness happens if the conviction does not occur.
sent1: that the asexualness does not occur is prevented by that the malfunction happens. sent2: if not the unpardonableness but the iconolatry occurs the fact that the curve does not occur is correct. sent3: that the ursineness occurs is not incorrect. sent4: if the substantiveness occurs the viziership does not occur and the autographicness does not occur. sent5: the musicologicalness occurs. sent6: the encephalography happens and the autographicness happens. sent7: if the schottische does not occur and the eventuating does not occur then the counterterrorness does not occur. sent8: that the encephalography does not occur is brought about by that the beanball does not occur and the conviction does not occur. sent9: the sculpturalness occurs. sent10: if the conviction occurs then not the overreaching gloriosa but the beanball occurs. sent11: the fact that both the malfunctioning and the asexualness occurs does not hold if the autographicness does not occur.
void -> assump1: Let's assume that the beanball does not occur.; void -> assump2: Let's assume that the conviction does not occur.; assump1 & assump2 -> int1: the beanball does not occur and the conviction does not occur.; int1 & sent8 -> int2: the encephalography does not occur.; sent6 -> int3: the encephalography occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the beanball occurs is not false.;
the overreaching gloriosa does not occur.
$hypothesis$ = the asexualness happens if the conviction does not occur. ; $context$ = sent1: that the asexualness does not occur is prevented by that the malfunction happens. sent2: if not the unpardonableness but the iconolatry occurs the fact that the curve does not occur is correct. sent3: that the ursineness occurs is not incorrect. sent4: if the substantiveness occurs the viziership does not occur and the autographicness does not occur. sent5: the musicologicalness occurs. sent6: the encephalography happens and the autographicness happens. sent7: if the schottische does not occur and the eventuating does not occur then the counterterrorness does not occur. sent8: that the encephalography does not occur is brought about by that the beanball does not occur and the conviction does not occur. sent9: the sculpturalness occurs. sent10: if the conviction occurs then not the overreaching gloriosa but the beanball occurs. sent11: the fact that both the malfunctioning and the asexualness occurs does not hold if the autographicness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the beanball does not occur.; void -> assump2: Let's assume that the conviction does not occur.; assump1 & assump2 -> int1: the beanball does not occur and the conviction does not occur.; int1 & sent8 -> int2: the encephalography does not occur.; sent6 -> int3: the encephalography occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the beanball occurs is not false.; __UNKNOWN__