the fender is a Alcyone.
sent1: if the iconoscope is not a wilt the trefoil is a flex or it is a kind of a Arikara or both. sent2: that the hart is not a kind of a snowdrop hold. sent3: if that the hart is a kind of a NPC is right the sociobiologist is not a kind of a snowdrop. sent4: the fender is a kind of a Alcyone if the Beninese does move bitternut. sent5: the fact that the Beninese moves bitternut is right if the trefoil is a kind of a Arikara. sent6: if the fact that the fact that the synthesist is not a stabling but a NPC is not false does not hold then it stabling. sent7: the Beninese moves bitternut if the trefoil flexes. sent8: the hart is a NPC if either the synthesist does not stable or it does not metamorphose or both. sent9: there exists nothing that is not a stabling and is a NPC. sent10: if something does stable then it is a logarithm. sent11: there is something such that it is printable. sent12: the pudendum does not metamorphose and is not a kind of a logarithm if there is something such that it is not unprintable. sent13: the fender does metamorphose if the synthesist is a Alcyone. sent14: if the sociobiologist is not a snowdrop the iconoscope is not a wilt. sent15: if the fact that something does metamorphose but it is not printable does not hold then it is not a Alcyone. sent16: the pudendum is not a logarithm if there exists something such that it is printable. sent17: if the pudendum does not metamorphose either the synthesist does stable or it does not metamorphose or both. sent18: the hart is a kind of a NPC if the synthesist is not a stabling. sent19: the fact that something does metamorphose and is not printable is incorrect if it is not a logarithm.
sent11 & sent12 -> int1: the pudendum does not metamorphose and it is not a logarithm.; int1 -> int2: the pudendum does not metamorphose.;
the fender is not a Alcyone.
sent10 -> int3: the synthesist is a kind of a logarithm if it stables.; sent9 -> int4: that the synthesist is non-stabling thing that is a NPC is not true.; sent6 & int4 -> int5: the synthesist is a stabling.; int3 & int5 -> int6: the synthesist is a logarithm.; int6 -> int7: there is something such that it is a logarithm.;
$hypothesis$ = the fender is a Alcyone. ; $context$ = sent1: if the iconoscope is not a wilt the trefoil is a flex or it is a kind of a Arikara or both. sent2: that the hart is not a kind of a snowdrop hold. sent3: if that the hart is a kind of a NPC is right the sociobiologist is not a kind of a snowdrop. sent4: the fender is a kind of a Alcyone if the Beninese does move bitternut. sent5: the fact that the Beninese moves bitternut is right if the trefoil is a kind of a Arikara. sent6: if the fact that the fact that the synthesist is not a stabling but a NPC is not false does not hold then it stabling. sent7: the Beninese moves bitternut if the trefoil flexes. sent8: the hart is a NPC if either the synthesist does not stable or it does not metamorphose or both. sent9: there exists nothing that is not a stabling and is a NPC. sent10: if something does stable then it is a logarithm. sent11: there is something such that it is printable. sent12: the pudendum does not metamorphose and is not a kind of a logarithm if there is something such that it is not unprintable. sent13: the fender does metamorphose if the synthesist is a Alcyone. sent14: if the sociobiologist is not a snowdrop the iconoscope is not a wilt. sent15: if the fact that something does metamorphose but it is not printable does not hold then it is not a Alcyone. sent16: the pudendum is not a logarithm if there exists something such that it is printable. sent17: if the pudendum does not metamorphose either the synthesist does stable or it does not metamorphose or both. sent18: the hart is a kind of a NPC if the synthesist is not a stabling. sent19: the fact that something does metamorphose and is not printable is incorrect if it is not a logarithm. ; $proof$ = 
sent11 & sent12 -> int1: the pudendum does not metamorphose and it is not a logarithm.; int1 -> int2: the pudendum does not metamorphose.; __UNKNOWN__