the franklin freeze-dries Senora and is not a Iran.
sent1: the PX does not ruminate if the glassmaker is not a kind of a runch and does ruminate. sent2: something does freeze-dry Senora if it is a glacier. sent3: the paleencephalon is not a kind of a adducer. sent4: the franklin housekeeps Ribhus or is a glacier or both. sent5: if the paleencephalon housekeeps Ribhus the fact that the franklin freeze-dries Senora and it does housekeeps Ribhus is not right. sent6: the paleencephalon is a half-term. sent7: the franklin is a kind of a runch if it is not a adducer and is a glacier. sent8: if the fact that the franklin housekeeps Ribhus is not incorrect then it freeze-dries Senora. sent9: if the fact that the franklin ruminates but it is not a kind of a runch does not hold then it is not a Iran. sent10: the franklin is a temporal and is not a CABG. sent11: the telecaster is not lidded and is not a annotator. sent12: if something that is not a adducer is a kind of a half-term that it is a runch is not wrong.
sent12 -> int1: if the paleencephalon is not a adducer and is a half-term then it is a runch.; sent3 & sent6 -> int2: the paleencephalon is both not a adducer and a half-term.; int1 & int2 -> int3: the paleencephalon is a runch.; sent2 -> int4: the franklin freeze-dries Senora if it is a kind of a glacier.; sent4 & sent8 & int4 -> int5: the franklin does freeze-dry Senora.;
that the franklin does freeze-dry Senora and is not a Iran does not hold.
$hypothesis$ = the franklin freeze-dries Senora and is not a Iran. ; $context$ = sent1: the PX does not ruminate if the glassmaker is not a kind of a runch and does ruminate. sent2: something does freeze-dry Senora if it is a glacier. sent3: the paleencephalon is not a kind of a adducer. sent4: the franklin housekeeps Ribhus or is a glacier or both. sent5: if the paleencephalon housekeeps Ribhus the fact that the franklin freeze-dries Senora and it does housekeeps Ribhus is not right. sent6: the paleencephalon is a half-term. sent7: the franklin is a kind of a runch if it is not a adducer and is a glacier. sent8: if the fact that the franklin housekeeps Ribhus is not incorrect then it freeze-dries Senora. sent9: if the fact that the franklin ruminates but it is not a kind of a runch does not hold then it is not a Iran. sent10: the franklin is a temporal and is not a CABG. sent11: the telecaster is not lidded and is not a annotator. sent12: if something that is not a adducer is a kind of a half-term that it is a runch is not wrong. ; $proof$ = 
sent12 -> int1: if the paleencephalon is not a adducer and is a half-term then it is a runch.; sent3 & sent6 -> int2: the paleencephalon is both not a adducer and a half-term.; int1 & int2 -> int3: the paleencephalon is a runch.; sent2 -> int4: the franklin freeze-dries Senora if it is a kind of a glacier.; sent4 & sent8 & int4 -> int5: the franklin does freeze-dry Senora.; __UNKNOWN__