the spade is a Leccinum.
sent1: the fact that the screamer leases palmistry but it does not lease reformism is false if that the matelote does not lease reformism does not hold. sent2: that the hysterics does elaborate demur but it is not a bearded is incorrect if the hairsplitter is Frostian. sent3: the matelote does not lease palmistry if that the hysterics does elaborate demur but it is not a kind of a bearded is wrong. sent4: if there is something such that the fact that it is unavailable thing that does not axe mayoralty is not correct the fluorescein is not a piano. sent5: something is a kind of a Italic if that it is not a piano hold. sent6: something is not a Leccinum and it is not a kind of a piano if the fact that it is a Italic is true. sent7: the hairsplitter is Frostian. sent8: if that the screamer does lease palmistry but it does not lease reformism is false the spade is a Leccinum. sent9: the matelote leases reformism if the fluorescein is a Athanasianism. sent10: if there is something such that the fact that it leases reformism and is not a Leccinum is not right the spade is not a Athanasianism. sent11: there exists something such that it is unavailable and it does not axe mayoralty. sent12: something is a kind of a Athanasianism if it is a kind of a Italic. sent13: the fact that the screamer does lease reformism but it is not a kind of a Italic is wrong if the fluorescein is a Italic. sent14: the spade is a kind of a Athanasianism and it is not non-Italic if the fluorescein does not lease reformism. sent15: the matelote is not a allegorizer if that the screamer is a kind of a allegorizer that is a neoromanticism does not hold.
sent5 -> int1: if the fluorescein is not a piano then it is a Italic.; sent12 -> int2: that the fluorescein is a kind of a Athanasianism is true if it is Italic.;
that the spade is not a kind of a Leccinum hold.
sent6 -> int3: the spade is not a kind of a Leccinum and is not piano if that it is a Italic hold.; sent2 & sent7 -> int4: that the hysterics does elaborate demur but it does not beard is not right.; sent3 & int4 -> int5: the matelote does not lease palmistry.;
$hypothesis$ = the spade is a Leccinum. ; $context$ = sent1: the fact that the screamer leases palmistry but it does not lease reformism is false if that the matelote does not lease reformism does not hold. sent2: that the hysterics does elaborate demur but it is not a bearded is incorrect if the hairsplitter is Frostian. sent3: the matelote does not lease palmistry if that the hysterics does elaborate demur but it is not a kind of a bearded is wrong. sent4: if there is something such that the fact that it is unavailable thing that does not axe mayoralty is not correct the fluorescein is not a piano. sent5: something is a kind of a Italic if that it is not a piano hold. sent6: something is not a Leccinum and it is not a kind of a piano if the fact that it is a Italic is true. sent7: the hairsplitter is Frostian. sent8: if that the screamer does lease palmistry but it does not lease reformism is false the spade is a Leccinum. sent9: the matelote leases reformism if the fluorescein is a Athanasianism. sent10: if there is something such that the fact that it leases reformism and is not a Leccinum is not right the spade is not a Athanasianism. sent11: there exists something such that it is unavailable and it does not axe mayoralty. sent12: something is a kind of a Athanasianism if it is a kind of a Italic. sent13: the fact that the screamer does lease reformism but it is not a kind of a Italic is wrong if the fluorescein is a Italic. sent14: the spade is a kind of a Athanasianism and it is not non-Italic if the fluorescein does not lease reformism. sent15: the matelote is not a allegorizer if that the screamer is a kind of a allegorizer that is a neoromanticism does not hold. ; $proof$ = 
sent5 -> int1: if the fluorescein is not a piano then it is a Italic.; sent12 -> int2: that the fluorescein is a kind of a Athanasianism is true if it is Italic.; __UNKNOWN__