the emmer is bibliothecal.
sent1: if something is a kind of a fantast it is not bibliothecal. sent2: the emmer is a kind of semantic thing that guggles fossil if it is not a kind of a bluethroat. sent3: if the metropolitan is not a kind of a welterweight the slot is not a kind of a welterweight but it is a kind of a tapa. sent4: the metropolitan is a kind of a fantast. sent5: if something is a fantast then that it is not uncomplimentary and it is a demythologization is not true. sent6: that the emmer is bibliothecal hold if it is semantic. sent7: if the slot is not a welterweight and is a kind of a tapa the emmer is not a kind of a bluethroat.
sent5 -> int1: if the metropolitan is a kind of a fantast then the fact that it is not uncomplimentary and it is a demythologization does not hold.; int1 & sent4 -> int2: that the metropolitan is a kind of non-uncomplimentary thing that is a demythologization is incorrect.;
the emmer is not bibliothecal.
sent1 -> int3: if the emmer is a fantast it is not bibliothecal.;
$hypothesis$ = the emmer is bibliothecal. ; $context$ = sent1: if something is a kind of a fantast it is not bibliothecal. sent2: the emmer is a kind of semantic thing that guggles fossil if it is not a kind of a bluethroat. sent3: if the metropolitan is not a kind of a welterweight the slot is not a kind of a welterweight but it is a kind of a tapa. sent4: the metropolitan is a kind of a fantast. sent5: if something is a fantast then that it is not uncomplimentary and it is a demythologization is not true. sent6: that the emmer is bibliothecal hold if it is semantic. sent7: if the slot is not a welterweight and is a kind of a tapa the emmer is not a kind of a bluethroat. ; $proof$ = 
sent5 -> int1: if the metropolitan is a kind of a fantast then the fact that it is not uncomplimentary and it is a demythologization does not hold.; int1 & sent4 -> int2: that the metropolitan is a kind of non-uncomplimentary thing that is a demythologization is incorrect.; __UNKNOWN__