the raptor is nonlinear and is Gaussian.
sent1: the hemisphere is nonclassical. sent2: the raptor is nonlinear. sent3: that the basidiomycete is a kind of a playmate that is classical hold. sent4: if the fact that the raptor is classical thing that is a statin is not correct then the plater is nonlinear. sent5: the basidiomycete is vocational thing that is not nonclassical. sent6: the plater monopolizes Caligula if it is a statin. sent7: the plater is a playmate. sent8: the plater is not nonclassical if the basidiomycete is both a playmate and not nonclassical. sent9: there exists something such that it is a playmate. sent10: the raptor is a playmate. sent11: if something monopolizes Caligula but it is not nonclassical the raptor is Gaussian. sent12: if the DSL is vocational but it is not Gaussian the raptor is not Gaussian. sent13: something is a kind of nonlinear thing that monopolizes Caligula. sent14: the DSL announces volunteer. sent15: the fact that the DSL is not a botanical and is vocational does not hold. sent16: if that the DSL is not a kind of a botanical but it is vocational is not right the plater is a statin. sent17: the plater is a kind of a playmate if something that is not classical is not Gaussian. sent18: the basidiomycete is a kind of a botanical and is not nonclassical. sent19: something is not a cretinism.
sent16 & sent15 -> int1: the plater is a statin.; int1 & sent6 -> int2: the plater monopolizes Caligula.; sent8 & sent3 -> int3: the plater is not nonclassical.; int2 & int3 -> int4: the plater does monopolize Caligula but it is not nonclassical.; int4 -> int5: there exists something such that it does monopolize Caligula and is not nonclassical.; int5 & sent11 -> int6: the raptor is Gaussian.; int6 & sent2 -> hypothesis;
$hypothesis$ = the raptor is nonlinear and is Gaussian. ; $context$ = sent1: the hemisphere is nonclassical. sent2: the raptor is nonlinear. sent3: that the basidiomycete is a kind of a playmate that is classical hold. sent4: if the fact that the raptor is classical thing that is a statin is not correct then the plater is nonlinear. sent5: the basidiomycete is vocational thing that is not nonclassical. sent6: the plater monopolizes Caligula if it is a statin. sent7: the plater is a playmate. sent8: the plater is not nonclassical if the basidiomycete is both a playmate and not nonclassical. sent9: there exists something such that it is a playmate. sent10: the raptor is a playmate. sent11: if something monopolizes Caligula but it is not nonclassical the raptor is Gaussian. sent12: if the DSL is vocational but it is not Gaussian the raptor is not Gaussian. sent13: something is a kind of nonlinear thing that monopolizes Caligula. sent14: the DSL announces volunteer. sent15: the fact that the DSL is not a botanical and is vocational does not hold. sent16: if that the DSL is not a kind of a botanical but it is vocational is not right the plater is a statin. sent17: the plater is a kind of a playmate if something that is not classical is not Gaussian. sent18: the basidiomycete is a kind of a botanical and is not nonclassical. sent19: something is not a cretinism. ; $proof$ = 
sent16 & sent15 -> int1: the plater is a statin.; int1 & sent6 -> int2: the plater monopolizes Caligula.; sent8 & sent3 -> int3: the plater is not nonclassical.; int2 & int3 -> int4: the plater does monopolize Caligula but it is not nonclassical.; int4 -> int5: there exists something such that it does monopolize Caligula and is not nonclassical.; int5 & sent11 -> int6: the raptor is Gaussian.; int6 & sent2 -> hypothesis; __PROVED__