the celebrant is not a rebutter.
sent1: if the chorion erupts then the fact that the eyeliner does please but it is not a Murray does not hold. sent2: the chorion does please. sent3: the eyeliner is not aortal. sent4: a non-aortal thing is non-aphetic and/or non-bacteroidal. sent5: the chorion is aortal and pleases. sent6: the chorion is not a Murray. sent7: if the chorion is bacteroidal and it is aortal then the celebrant is not a Murray. sent8: the chorion is not non-bacteroidal if the eyeliner is aphetic. sent9: something is not a rebutter if it is not a Murray. sent10: the eyeliner is aphetic. sent11: the fact that the chorion does erupt is not wrong.
sent8 & sent10 -> int1: the chorion is bacteroidal.; sent5 -> int2: the chorion is aortal.; int1 & int2 -> int3: the chorion is bacteroidal and it is aortal.; int3 & sent7 -> int4: the celebrant is not a Murray.; sent9 -> int5: if the celebrant is not a Murray then that it is not a rebutter is right.; int4 & int5 -> hypothesis;
the celebrant is a rebutter.
sent4 -> int6: if the celebrant is not aortal it is not aphetic and/or it is not bacteroidal.; sent1 & sent11 -> int7: that the eyeliner pleases and is not a Murray is not correct.; int7 -> int8: there exists something such that that it pleases and it is not a kind of a Murray is not right.;
$hypothesis$ = the celebrant is not a rebutter. ; $context$ = sent1: if the chorion erupts then the fact that the eyeliner does please but it is not a Murray does not hold. sent2: the chorion does please. sent3: the eyeliner is not aortal. sent4: a non-aortal thing is non-aphetic and/or non-bacteroidal. sent5: the chorion is aortal and pleases. sent6: the chorion is not a Murray. sent7: if the chorion is bacteroidal and it is aortal then the celebrant is not a Murray. sent8: the chorion is not non-bacteroidal if the eyeliner is aphetic. sent9: something is not a rebutter if it is not a Murray. sent10: the eyeliner is aphetic. sent11: the fact that the chorion does erupt is not wrong. ; $proof$ = 
sent8 & sent10 -> int1: the chorion is bacteroidal.; sent5 -> int2: the chorion is aortal.; int1 & int2 -> int3: the chorion is bacteroidal and it is aortal.; int3 & sent7 -> int4: the celebrant is not a Murray.; sent9 -> int5: if the celebrant is not a Murray then that it is not a rebutter is right.; int4 & int5 -> hypothesis; __PROVED__