the prosecutor is unhappy.
sent1: the skipper does not predate schooling. sent2: the ghillie is not bracteolate. sent3: that the ghillie does not predate schooling but it is bibliomaniacal is incorrect if it is not bracteolate. sent4: if the fact that the skipper does not predate electrolyte is not false it is maxillomandibular and it is not bedless. sent5: if the skipper does not predate universality then the fact that the fact that the seatbelt is not a teletypewriter and it does not predate universality is not wrong is wrong. sent6: a lamprey is both bracteolate and not unhappy. sent7: if the fact that the ghillie does not predate schooling but it is bibliomaniacal is incorrect then the baggage is a lamprey. sent8: if something is a Secretariat then it is unhappy. sent9: something does not predate universality if it is a lamprey and is not bedless. sent10: the skipper does not predate electrolyte if something is hydroxy. sent11: the prosecutor is a Secretariat if the fact that the seatbelt is not a teletypewriter and does not predate universality is wrong. sent12: that the seatbelt logrolls but it is not bedless does not hold. sent13: there is something such that it is not non-hydroxy.
sent3 & sent2 -> int1: that the ghillie does not predate schooling and is bibliomaniacal is not right.; int1 & sent7 -> int2: the baggage is a kind of a lamprey.; sent13 & sent10 -> int3: the skipper does not predate electrolyte.; sent4 & int3 -> int4: the skipper is not non-maxillomandibular but it is not bedless.; int4 -> int5: that the skipper is not bedless is not wrong.; sent9 -> int6: if the skipper is a lamprey but not bedless then it does not predate universality.; sent8 -> int7: if the fact that the prosecutor is a kind of a Secretariat hold it is unhappy.;
the prosecutor is not unhappy.
sent6 -> int8: if the prosecutor is a lamprey it is bracteolate and it is not unhappy.;
$hypothesis$ = the prosecutor is unhappy. ; $context$ = sent1: the skipper does not predate schooling. sent2: the ghillie is not bracteolate. sent3: that the ghillie does not predate schooling but it is bibliomaniacal is incorrect if it is not bracteolate. sent4: if the fact that the skipper does not predate electrolyte is not false it is maxillomandibular and it is not bedless. sent5: if the skipper does not predate universality then the fact that the fact that the seatbelt is not a teletypewriter and it does not predate universality is not wrong is wrong. sent6: a lamprey is both bracteolate and not unhappy. sent7: if the fact that the ghillie does not predate schooling but it is bibliomaniacal is incorrect then the baggage is a lamprey. sent8: if something is a Secretariat then it is unhappy. sent9: something does not predate universality if it is a lamprey and is not bedless. sent10: the skipper does not predate electrolyte if something is hydroxy. sent11: the prosecutor is a Secretariat if the fact that the seatbelt is not a teletypewriter and does not predate universality is wrong. sent12: that the seatbelt logrolls but it is not bedless does not hold. sent13: there is something such that it is not non-hydroxy. ; $proof$ = 
sent3 & sent2 -> int1: that the ghillie does not predate schooling and is bibliomaniacal is not right.; int1 & sent7 -> int2: the baggage is a kind of a lamprey.; sent13 & sent10 -> int3: the skipper does not predate electrolyte.; sent4 & int3 -> int4: the skipper is not non-maxillomandibular but it is not bedless.; int4 -> int5: that the skipper is not bedless is not wrong.; sent9 -> int6: if the skipper is a lamprey but not bedless then it does not predate universality.; sent8 -> int7: if the fact that the prosecutor is a kind of a Secretariat hold it is unhappy.; __UNKNOWN__