there exists something such that it is nacreous and it is a FSB.
sent1: there is something such that it is nacreous. sent2: if that the gainer is not a fang and it is not a kind of a FSB is not right then the corsair is occipital. sent3: that the tongueflower is solanaceous but not chemoreceptive is wrong. sent4: the tongueflower is occipital. sent5: everything is occipital. sent6: the fact that the corsair is not occipital and is not a Ephesian is wrong if the gainer is occipital. sent7: that the gainer is a kind of a Ephesian is not false if that the tongueflower is not solanaceous and is not chemoreceptive is wrong. sent8: the fact that that the tongueflower is not solanaceous and is chemoreceptive is wrong is not wrong. sent9: if that the corsair is not a Ephesian and/or it is not occipital is wrong it is a fang. sent10: the tongueflower is nacreous if that it is not chemoreceptive or is not a FSB or both does not hold. sent11: if that the gainer is not chemoreceptive and not solanaceous is wrong then the tongueflower is a kind of a FSB. sent12: something is a fang if that it is occipital and/or it does not electrify does not hold. sent13: a Ephesian thing is nacreous. sent14: if the crevice is solanaceous that the tongueflower is not solanaceous but chemoreceptive is not right. sent15: if the corsair is a fang the crevice is solanaceous. sent16: the gainer is a kind of a FSB. sent17: if that the corsair is occipital and/or it does not electrify does not hold it is a fang. sent18: there exists nothing such that it either is not occipital or does not electrify or both. sent19: that the tongueflower is solanaceous but it is not chemoreceptive does not hold if the crevice is solanaceous. sent20: the corsair is occipital. sent21: something is a fang if the fact that it is not occipital and/or it does not electrify is false. sent22: there is something such that it is a FSB.
sent21 -> int1: the corsair is a kind of a fang if that it is not occipital and/or it does not electrify is false.; sent18 -> int2: that the corsair either is not occipital or does not electrify or both does not hold.; int1 & int2 -> int3: the corsair is a fang.; int3 & sent15 -> int4: the crevice is solanaceous.; sent13 -> int5: the gainer is nacreous if that it is Ephesian is not wrong.;
$hypothesis$ = there exists something such that it is nacreous and it is a FSB. ; $context$ = sent1: there is something such that it is nacreous. sent2: if that the gainer is not a fang and it is not a kind of a FSB is not right then the corsair is occipital. sent3: that the tongueflower is solanaceous but not chemoreceptive is wrong. sent4: the tongueflower is occipital. sent5: everything is occipital. sent6: the fact that the corsair is not occipital and is not a Ephesian is wrong if the gainer is occipital. sent7: that the gainer is a kind of a Ephesian is not false if that the tongueflower is not solanaceous and is not chemoreceptive is wrong. sent8: the fact that that the tongueflower is not solanaceous and is chemoreceptive is wrong is not wrong. sent9: if that the corsair is not a Ephesian and/or it is not occipital is wrong it is a fang. sent10: the tongueflower is nacreous if that it is not chemoreceptive or is not a FSB or both does not hold. sent11: if that the gainer is not chemoreceptive and not solanaceous is wrong then the tongueflower is a kind of a FSB. sent12: something is a fang if that it is occipital and/or it does not electrify does not hold. sent13: a Ephesian thing is nacreous. sent14: if the crevice is solanaceous that the tongueflower is not solanaceous but chemoreceptive is not right. sent15: if the corsair is a fang the crevice is solanaceous. sent16: the gainer is a kind of a FSB. sent17: if that the corsair is occipital and/or it does not electrify does not hold it is a fang. sent18: there exists nothing such that it either is not occipital or does not electrify or both. sent19: that the tongueflower is solanaceous but it is not chemoreceptive does not hold if the crevice is solanaceous. sent20: the corsair is occipital. sent21: something is a fang if the fact that it is not occipital and/or it does not electrify is false. sent22: there is something such that it is a FSB. ; $proof$ = 
sent21 -> int1: the corsair is a kind of a fang if that it is not occipital and/or it does not electrify is false.; sent18 -> int2: that the corsair either is not occipital or does not electrify or both does not hold.; int1 & int2 -> int3: the corsair is a fang.; int3 & sent15 -> int4: the crevice is solanaceous.; sent13 -> int5: the gainer is nacreous if that it is Ephesian is not wrong.; __UNKNOWN__