there is something such that it is both retractile and not gnostic.
sent1: if the ram's-head is a kind of a zenith then the oviraptorid is retractile. sent2: there exists something such that the fact that it is a kind of a Mugilidae and it is not a sandbagger is wrong. sent3: something is retractile. sent4: that the flyleaf is not a Mugilidae but it is a sandbagger is not right. sent5: something is gnostic but it is not a zenith. sent6: there exists something such that it is not gnostic. sent7: there is something such that the fact that that it is not a Mugilidae and it is a kind of a sandbagger is right is incorrect. sent8: if something is not a zenith it is a bookworm and it is not mammary. sent9: there is something such that it is not a kind of a Mugilidae and it is not a sandbagger. sent10: the oviraptorid is retractile and is non-gnostic if the ram's-head is a zenith. sent11: the fact that the flyleaf is both a Mugilidae and not a sandbagger does not hold. sent12: there are retractile and gnostic things. sent13: the oviraptorid is retractile. sent14: that the flyleaf is not a kind of a Mugilidae and it is not a sandbagger is incorrect.
sent14 -> int1: there is something such that the fact that it is not a Mugilidae and it is not a sandbagger is not correct.;
something is a bookworm but it is not mammary.
sent8 -> int2: the ram's-head is a bookworm but it is not mammary if it is not a zenith.;
$hypothesis$ = there is something such that it is both retractile and not gnostic. ; $context$ = sent1: if the ram's-head is a kind of a zenith then the oviraptorid is retractile. sent2: there exists something such that the fact that it is a kind of a Mugilidae and it is not a sandbagger is wrong. sent3: something is retractile. sent4: that the flyleaf is not a Mugilidae but it is a sandbagger is not right. sent5: something is gnostic but it is not a zenith. sent6: there exists something such that it is not gnostic. sent7: there is something such that the fact that that it is not a Mugilidae and it is a kind of a sandbagger is right is incorrect. sent8: if something is not a zenith it is a bookworm and it is not mammary. sent9: there is something such that it is not a kind of a Mugilidae and it is not a sandbagger. sent10: the oviraptorid is retractile and is non-gnostic if the ram's-head is a zenith. sent11: the fact that the flyleaf is both a Mugilidae and not a sandbagger does not hold. sent12: there are retractile and gnostic things. sent13: the oviraptorid is retractile. sent14: that the flyleaf is not a kind of a Mugilidae and it is not a sandbagger is incorrect. ; $proof$ = 
sent14 -> int1: there is something such that the fact that it is not a Mugilidae and it is not a sandbagger is not correct.; __UNKNOWN__