the fact that the cyclobenzaprine is not a way hold.
sent1: an epileptic does slice prothorax. sent2: something that does slice prothorax is a Galatians. sent3: the prolamine is bryophytic and it is epileptic. sent4: the Emetrol is not phylogenetic if the carpophore is phylogenetic and does free. sent5: something is a kind of a annulus if it slices zinnwaldite. sent6: something does slice zinnwaldite and is a marketplace if it is not phylogenetic. sent7: if the Emetrol is a kind of a annulus then the dame is a Galatians and does not slice prothorax. sent8: if the fact that that the fraise is not a photosynthesis and is not a LAN is true does not hold it is not a Malawian. sent9: the fact that the carpophore is non-freesia and is tracheal is wrong if it is cismontane. sent10: the rebutter is not a annulus. sent11: the Mosaic is bryophytic if there is something such that it is a Galatians that does not slice prothorax. sent12: the carpophore is a freesia if the fact that it is a kind of non-freesia thing that is tracheal does not hold. sent13: if the Mosaic is bryophytic then the fact that the prolamine is both not a way and not epileptic is incorrect. sent14: if something is not a Malawian it is not phylogenetic and it is discomycetous. sent15: the fact that the mesothelium is bryophytic and is a kind of an epileptic is wrong if the prolamine does not slice prothorax. sent16: if that something is a kind of bryophytic an epileptic is not true then it is not a kind of an epileptic. sent17: if the fraise is not phylogenetic but discomycetous the fact that the carpophore is phylogenetic is true. sent18: the fact that the prolamine is bryophytic hold.
sent3 -> int1: the prolamine is an epileptic.; sent1 -> int2: the prolamine does slice prothorax if it is an epileptic.; int1 & int2 -> int3: the fact that the prolamine does slice prothorax hold.; sent2 -> int4: if the prolamine does slice prothorax it is a Galatians.; int3 & int4 -> int5: the prolamine is a kind of a Galatians.; int5 -> int6: the prolamine is a kind of a annulus and/or it is a Galatians.; int6 -> int7: something is a kind of a annulus or it is a Galatians or both.;
the mesothelium is not epileptic.
sent16 -> int8: the mesothelium is not a kind of an epileptic if that it is bryophytic thing that is epileptic is wrong.;
$hypothesis$ = the fact that the cyclobenzaprine is not a way hold. ; $context$ = sent1: an epileptic does slice prothorax. sent2: something that does slice prothorax is a Galatians. sent3: the prolamine is bryophytic and it is epileptic. sent4: the Emetrol is not phylogenetic if the carpophore is phylogenetic and does free. sent5: something is a kind of a annulus if it slices zinnwaldite. sent6: something does slice zinnwaldite and is a marketplace if it is not phylogenetic. sent7: if the Emetrol is a kind of a annulus then the dame is a Galatians and does not slice prothorax. sent8: if the fact that that the fraise is not a photosynthesis and is not a LAN is true does not hold it is not a Malawian. sent9: the fact that the carpophore is non-freesia and is tracheal is wrong if it is cismontane. sent10: the rebutter is not a annulus. sent11: the Mosaic is bryophytic if there is something such that it is a Galatians that does not slice prothorax. sent12: the carpophore is a freesia if the fact that it is a kind of non-freesia thing that is tracheal does not hold. sent13: if the Mosaic is bryophytic then the fact that the prolamine is both not a way and not epileptic is incorrect. sent14: if something is not a Malawian it is not phylogenetic and it is discomycetous. sent15: the fact that the mesothelium is bryophytic and is a kind of an epileptic is wrong if the prolamine does not slice prothorax. sent16: if that something is a kind of bryophytic an epileptic is not true then it is not a kind of an epileptic. sent17: if the fraise is not phylogenetic but discomycetous the fact that the carpophore is phylogenetic is true. sent18: the fact that the prolamine is bryophytic hold. ; $proof$ = 
sent3 -> int1: the prolamine is an epileptic.; sent1 -> int2: the prolamine does slice prothorax if it is an epileptic.; int1 & int2 -> int3: the fact that the prolamine does slice prothorax hold.; sent2 -> int4: if the prolamine does slice prothorax it is a Galatians.; int3 & int4 -> int5: the prolamine is a kind of a Galatians.; int5 -> int6: the prolamine is a kind of a annulus and/or it is a Galatians.; int6 -> int7: something is a kind of a annulus or it is a Galatians or both.; __UNKNOWN__