that if the doctoralness occurs the chancing endometrium does not occur is false.
sent1: the showing happens. sent2: the fabricating gallery happens. sent3: if the doctoralness does not occur the fabricating immobilization occurs and the chancing endometrium occurs. sent4: the chancing endometrium occurs if the doctoralness happens. sent5: the strapping armor happens. sent6: the ecclesiasticism and the show happens. sent7: the bust happens and the underageness occurs. sent8: the ecclesiasticism does not occur if both the chancing endometrium and the doctoralness occurs. sent9: the chancing nominalist does not occur. sent10: that the doctoralness does not occur and/or the ecclesiasticism does not occur is triggered by that the showing does not occur.
void -> assump2: Let's assume that the chancing endometrium occurs.; void -> assump1: Let's assume that the doctoralness occurs.; assump2 & assump1 -> int1: both the chancing endometrium and the doctoralness happens.; int1 & sent8 -> int2: the ecclesiasticism does not occur.; sent6 -> int3: the ecclesiasticism occurs.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the chancing endometrium does not occur.; [assump1] & int5 -> hypothesis;
the strapping armor and the fabricating immobilization happens.
$hypothesis$ = that if the doctoralness occurs the chancing endometrium does not occur is false. ; $context$ = sent1: the showing happens. sent2: the fabricating gallery happens. sent3: if the doctoralness does not occur the fabricating immobilization occurs and the chancing endometrium occurs. sent4: the chancing endometrium occurs if the doctoralness happens. sent5: the strapping armor happens. sent6: the ecclesiasticism and the show happens. sent7: the bust happens and the underageness occurs. sent8: the ecclesiasticism does not occur if both the chancing endometrium and the doctoralness occurs. sent9: the chancing nominalist does not occur. sent10: that the doctoralness does not occur and/or the ecclesiasticism does not occur is triggered by that the showing does not occur. ; $proof$ = 
void -> assump2: Let's assume that the chancing endometrium occurs.; void -> assump1: Let's assume that the doctoralness occurs.; assump2 & assump1 -> int1: both the chancing endometrium and the doctoralness happens.; int1 & sent8 -> int2: the ecclesiasticism does not occur.; sent6 -> int3: the ecclesiasticism occurs.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the chancing endometrium does not occur.; [assump1] & int5 -> hypothesis; __DISPROVED__