the fact that if the aigrette does not luxuriate the steroid is Ebionite and is a scheme does not hold.
sent1: the aigrette is non-Ebionite. sent2: the fact that the cancer is not operatic and does not luxuriate does not hold if it is not Ebionite. sent3: the tankard is not non-operatic and is not an emitter. sent4: the steroid is operatic. sent5: the sinapism does not elaborate worth. sent6: the steroid is a scheme if something is operatic and is not a kind of an emitter. sent7: the fact that the aigrette luxuriates if the steroid does elaborate worth hold. sent8: the tankard is not non-operatic. sent9: the aigrette is an emitter and it is operatic if the tankard does not luxuriate. sent10: if that the steroid is not Ebionite is true then it axes cancer and/or elaborates worth. sent11: the fact that something does elaborate worth and axes cancer is not wrong. sent12: something is operatic and it is an emitter. sent13: the steroid is Ebionite and/or it is a kind of an emitter. sent14: the aigrette is operatic or does luxuriate or both. sent15: the aigrette does not elaborate worth. sent16: the aigrette luxuriates if the steroid does axe cancer.
void -> assump2: Let's assume that the steroid is not Ebionite.; sent10 & assump2 -> int1: the steroid either axes cancer or elaborates worth or both.; int1 & sent16 & sent7 -> int2: the aigrette luxuriates.; void -> assump1: Let's assume that the aigrette does not luxuriate.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the steroid is Ebionite.; sent3 -> int5: something is operatic but it is not a kind of an emitter.; int5 & sent6 -> int6: the steroid does scheme.; int4 & int6 -> int7: the steroid is Ebionite and does scheme.; [assump1] & int7 -> hypothesis;
the cancer is operatic.
$hypothesis$ = the fact that if the aigrette does not luxuriate the steroid is Ebionite and is a scheme does not hold. ; $context$ = sent1: the aigrette is non-Ebionite. sent2: the fact that the cancer is not operatic and does not luxuriate does not hold if it is not Ebionite. sent3: the tankard is not non-operatic and is not an emitter. sent4: the steroid is operatic. sent5: the sinapism does not elaborate worth. sent6: the steroid is a scheme if something is operatic and is not a kind of an emitter. sent7: the fact that the aigrette luxuriates if the steroid does elaborate worth hold. sent8: the tankard is not non-operatic. sent9: the aigrette is an emitter and it is operatic if the tankard does not luxuriate. sent10: if that the steroid is not Ebionite is true then it axes cancer and/or elaborates worth. sent11: the fact that something does elaborate worth and axes cancer is not wrong. sent12: something is operatic and it is an emitter. sent13: the steroid is Ebionite and/or it is a kind of an emitter. sent14: the aigrette is operatic or does luxuriate or both. sent15: the aigrette does not elaborate worth. sent16: the aigrette luxuriates if the steroid does axe cancer. ; $proof$ = 
void -> assump2: Let's assume that the steroid is not Ebionite.; sent10 & assump2 -> int1: the steroid either axes cancer or elaborates worth or both.; int1 & sent16 & sent7 -> int2: the aigrette luxuriates.; void -> assump1: Let's assume that the aigrette does not luxuriate.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the steroid is Ebionite.; sent3 -> int5: something is operatic but it is not a kind of an emitter.; int5 & sent6 -> int6: the steroid does scheme.; int4 & int6 -> int7: the steroid is Ebionite and does scheme.; [assump1] & int7 -> hypothesis; __DISPROVED__