the mover is saprophytic and is not polymorphemic.
sent1: if the transgressor is not saprophytic then the mover is not polymorphemic. sent2: that the hippie is sclerotic but it is not a Berlioz is incorrect if the transgressor is not a kind of a scandalmongering. sent3: if the transgressor is not uvular then that it is a kedgeree and is semantics is not correct. sent4: if something that is not a kind of a Elastoplast is a rummage then it is not a scandalmongering. sent5: the mover is not polymorphemic. sent6: the transgressor deglazes generic. sent7: if that something is both polymorphemic and non-saprophytic is false then it is not polymorphemic. sent8: the aloe is not uvular. sent9: the transgressor is a high-five if it deglazes generic. sent10: the transgressor is not a kind of a Elastoplast if there exists something such that the fact that it is consolable and it is a Elastoplast is incorrect. sent11: the transgressor is not polymorphemic. sent12: if the transgressor is not saprophytic the mover is saprophytic but it is not polymorphemic. sent13: the fact that the mover is a kind of a kedgeree and it is saprophytic does not hold if the fact that it is not uvular is correct. sent14: that something is polymorphemic but not saprophytic is incorrect if it is not uvular. sent15: if that something is sclerotic and not a Berlioz is incorrect it is a Berlioz. sent16: if something is not a kedgeree then that it is not uvular hold. sent17: if something is a Berlioz it does bar Frost and is not uvular. sent18: if the fact that something is a kind of a kedgeree that is semantics does not hold the fact that it is not saprophytic is right. sent19: the transgressor is not polymorphemic if the mover is not uvular. sent20: if the transgressor is a high-five then it is a rummage. sent21: there exists something such that that it is consolable and it is a Elastoplast is wrong. sent22: the transgressor is not uvular.
sent3 & sent22 -> int1: the fact that the transgressor is a kedgeree and not non-semantics does not hold.; sent18 -> int2: the transgressor is not saprophytic if that it is a kedgeree that is semantics is incorrect.; int1 & int2 -> int3: the transgressor is not saprophytic.; int3 & sent12 -> hypothesis;
the hippie is not polymorphemic.
sent7 -> int4: the hippie is not polymorphemic if that it is polymorphemic and is not saprophytic is not true.; sent14 -> int5: that the hippie is polymorphemic but not saprophytic does not hold if it is not uvular.; sent17 -> int6: the hippie bars Frost but it is not uvular if it is a Berlioz.; sent15 -> int7: the hippie is a Berlioz if that it is both sclerotic and not a Berlioz is incorrect.; sent4 -> int8: the transgressor is not a scandalmongering if it is not a kind of a Elastoplast and it is a kind of a rummage.; sent21 & sent10 -> int9: the transgressor is not a Elastoplast.; sent9 & sent6 -> int10: that the transgressor is a high-five is not incorrect.; sent20 & int10 -> int11: the fact that the transgressor is a rummage is true.; int9 & int11 -> int12: the transgressor is not a Elastoplast and rummages.; int8 & int12 -> int13: the transgressor is not a kind of a scandalmongering.; sent2 & int13 -> int14: that the hippie is sclerotic but not a Berlioz does not hold.; int7 & int14 -> int15: the fact that the hippie is a Berlioz is not wrong.; int6 & int15 -> int16: the hippie does bar Frost and is not uvular.; int16 -> int17: the hippie is not uvular.; int5 & int17 -> int18: that the hippie is polymorphemic but it is not saprophytic is not right.; int4 & int18 -> hypothesis;
$hypothesis$ = the mover is saprophytic and is not polymorphemic. ; $context$ = sent1: if the transgressor is not saprophytic then the mover is not polymorphemic. sent2: that the hippie is sclerotic but it is not a Berlioz is incorrect if the transgressor is not a kind of a scandalmongering. sent3: if the transgressor is not uvular then that it is a kedgeree and is semantics is not correct. sent4: if something that is not a kind of a Elastoplast is a rummage then it is not a scandalmongering. sent5: the mover is not polymorphemic. sent6: the transgressor deglazes generic. sent7: if that something is both polymorphemic and non-saprophytic is false then it is not polymorphemic. sent8: the aloe is not uvular. sent9: the transgressor is a high-five if it deglazes generic. sent10: the transgressor is not a kind of a Elastoplast if there exists something such that the fact that it is consolable and it is a Elastoplast is incorrect. sent11: the transgressor is not polymorphemic. sent12: if the transgressor is not saprophytic the mover is saprophytic but it is not polymorphemic. sent13: the fact that the mover is a kind of a kedgeree and it is saprophytic does not hold if the fact that it is not uvular is correct. sent14: that something is polymorphemic but not saprophytic is incorrect if it is not uvular. sent15: if that something is sclerotic and not a Berlioz is incorrect it is a Berlioz. sent16: if something is not a kedgeree then that it is not uvular hold. sent17: if something is a Berlioz it does bar Frost and is not uvular. sent18: if the fact that something is a kind of a kedgeree that is semantics does not hold the fact that it is not saprophytic is right. sent19: the transgressor is not polymorphemic if the mover is not uvular. sent20: if the transgressor is a high-five then it is a rummage. sent21: there exists something such that that it is consolable and it is a Elastoplast is wrong. sent22: the transgressor is not uvular. ; $proof$ = 
sent3 & sent22 -> int1: the fact that the transgressor is a kedgeree and not non-semantics does not hold.; sent18 -> int2: the transgressor is not saprophytic if that it is a kedgeree that is semantics is incorrect.; int1 & int2 -> int3: the transgressor is not saprophytic.; int3 & sent12 -> hypothesis; __PROVED__