the heartleaf is not a Lathyrus.
sent1: if something is a Eocene but it is not a transposon then the porkfish is a kind of a adventuress. sent2: the heartleaf is not a Lathyrus if it is leonine. sent3: the gatepost does finalize cut-in. sent4: if the fact that the Monk is not a spectacles and is a adventuress is false then the porkfish is a spectacles. sent5: the quarterback is not aluminous if the scad is not a subsection. sent6: the Monk is non-leonine if the heartleaf is a kind of a Lathyrus. sent7: if the fact that the quarterback is a kind of a crackle and it is a herpetologist does not hold then the lenticel is not a herpetologist. sent8: the Monk is a kind of a herpetologist if the porkfish is a adventuress. sent9: everything is a Eocene that is not a kind of a transposon. sent10: the porkfish is not a kind of a sodalite if there is something such that it is not a herpetologist. sent11: if the scad is not a nailfile then the quarterback is not aluminous. sent12: if the carbonate does crane Andropogon the heartleaf is an allele. sent13: the scad either is not a subsection or is not a kind of a nailfile or both if the fact that the nanny does uphold hyperthyroidism hold. sent14: the nanny upholds hyperthyroidism. sent15: if something is non-leonine then that it is not a spectacles and it is a adventuress does not hold. sent16: the fact that the quarterback does crackle and is a kind of a herpetologist is wrong if it is not aluminous. sent17: if the Monk is a kind of a herpetologist then the heartleaf is leonine. sent18: if something is an allele then it is a Lathyrus.
sent9 -> int1: the devices is a kind of a Eocene that is not a transposon.; int1 -> int2: there is something such that it is a Eocene and not a transposon.; int2 & sent1 -> int3: the porkfish is a adventuress.; int3 & sent8 -> int4: the Monk is a herpetologist.; int4 & sent17 -> int5: the heartleaf is leonine.; int5 & sent2 -> hypothesis;
something is a spectacles and is not a kind of a sodalite.
sent15 -> int6: that the Monk is not a spectacles and is a adventuress is wrong if it is non-leonine.; sent18 -> int7: the heartleaf is a Lathyrus if it is an allele.; sent3 -> int8: there exists something such that it does finalize cut-in.; sent13 & sent14 -> int9: either the scad is not a subsection or it is not a nailfile or both.; int9 & sent5 & sent11 -> int10: the quarterback is not aluminous.; sent16 & int10 -> int11: the fact that the quarterback is a crackle and a herpetologist is wrong.; sent7 & int11 -> int12: the lenticel is not a herpetologist.; int12 -> int13: something is not a kind of a herpetologist.; int13 & sent10 -> int14: the porkfish is not a sodalite.;
$hypothesis$ = the heartleaf is not a Lathyrus. ; $context$ = sent1: if something is a Eocene but it is not a transposon then the porkfish is a kind of a adventuress. sent2: the heartleaf is not a Lathyrus if it is leonine. sent3: the gatepost does finalize cut-in. sent4: if the fact that the Monk is not a spectacles and is a adventuress is false then the porkfish is a spectacles. sent5: the quarterback is not aluminous if the scad is not a subsection. sent6: the Monk is non-leonine if the heartleaf is a kind of a Lathyrus. sent7: if the fact that the quarterback is a kind of a crackle and it is a herpetologist does not hold then the lenticel is not a herpetologist. sent8: the Monk is a kind of a herpetologist if the porkfish is a adventuress. sent9: everything is a Eocene that is not a kind of a transposon. sent10: the porkfish is not a kind of a sodalite if there is something such that it is not a herpetologist. sent11: if the scad is not a nailfile then the quarterback is not aluminous. sent12: if the carbonate does crane Andropogon the heartleaf is an allele. sent13: the scad either is not a subsection or is not a kind of a nailfile or both if the fact that the nanny does uphold hyperthyroidism hold. sent14: the nanny upholds hyperthyroidism. sent15: if something is non-leonine then that it is not a spectacles and it is a adventuress does not hold. sent16: the fact that the quarterback does crackle and is a kind of a herpetologist is wrong if it is not aluminous. sent17: if the Monk is a kind of a herpetologist then the heartleaf is leonine. sent18: if something is an allele then it is a Lathyrus. ; $proof$ = 
sent9 -> int1: the devices is a kind of a Eocene that is not a transposon.; int1 -> int2: there is something such that it is a Eocene and not a transposon.; int2 & sent1 -> int3: the porkfish is a adventuress.; int3 & sent8 -> int4: the Monk is a herpetologist.; int4 & sent17 -> int5: the heartleaf is leonine.; int5 & sent2 -> hypothesis; __PROVED__