the xerox immobilizes and is not a palmist.
sent1: the xerox is a kind of a fiancee that rummages monopoly. sent2: the fact that the souse does immobilize is correct. sent3: the xerox does immobilize and is a tuber. sent4: the motif is not a Malthusian and it is not a plantigrade if the fact that the Ukranian is not non-logistics hold. sent5: the ironwork is a papaverine that does rummage cryogen. sent6: the xerox channelizes and it is renewable. sent7: that if that the gazetteer is not adventuristic but it is dumpy is wrong then the fact that the cryogen is not poetic is right hold. sent8: if there are non-poetic things the ironwork rewards caddy and it is a stylopodium. sent9: if the ironwork rewards caddy the chateau is logistics but it does not disharmonize. sent10: something is logistics if the fact that it is not logistics and it is not English does not hold. sent11: that something does immobilize and is not a kind of a palmist is false if it is not a tuber. sent12: the fact that the gazetteer is not adventuristic and is dumpy is not correct. sent13: the xerox is not a kind of a tuber if the motif is non-Malthusian and it is not a kind of a plantigrade. sent14: the xerox is not a palmist if the fact that it is both not a papaverine and not non-intrauterine is wrong. sent15: the xerox is not a kind of a palmist if it is not intrauterine.
sent3 -> int1: the xerox does immobilize.;
that the xerox does immobilize and is not a kind of a palmist does not hold.
sent11 -> int2: that the xerox immobilizes and is not a palmist is wrong if it is not a tuber.; sent10 -> int3: if that the Ukranian is not logistics and it is non-English does not hold it is logistics.; sent7 & sent12 -> int4: the cryogen is not poetic.; int4 -> int5: something is not poetic.; int5 & sent8 -> int6: the ironwork does reward caddy and it is a stylopodium.; int6 -> int7: the ironwork rewards caddy.; sent9 & int7 -> int8: the chateau is logistics and does not disharmonize.; int8 -> int9: the chateau is logistics.; int9 -> int10: there exists something such that it is logistics.;
$hypothesis$ = the xerox immobilizes and is not a palmist. ; $context$ = sent1: the xerox is a kind of a fiancee that rummages monopoly. sent2: the fact that the souse does immobilize is correct. sent3: the xerox does immobilize and is a tuber. sent4: the motif is not a Malthusian and it is not a plantigrade if the fact that the Ukranian is not non-logistics hold. sent5: the ironwork is a papaverine that does rummage cryogen. sent6: the xerox channelizes and it is renewable. sent7: that if that the gazetteer is not adventuristic but it is dumpy is wrong then the fact that the cryogen is not poetic is right hold. sent8: if there are non-poetic things the ironwork rewards caddy and it is a stylopodium. sent9: if the ironwork rewards caddy the chateau is logistics but it does not disharmonize. sent10: something is logistics if the fact that it is not logistics and it is not English does not hold. sent11: that something does immobilize and is not a kind of a palmist is false if it is not a tuber. sent12: the fact that the gazetteer is not adventuristic and is dumpy is not correct. sent13: the xerox is not a kind of a tuber if the motif is non-Malthusian and it is not a kind of a plantigrade. sent14: the xerox is not a palmist if the fact that it is both not a papaverine and not non-intrauterine is wrong. sent15: the xerox is not a kind of a palmist if it is not intrauterine. ; $proof$ = 
sent3 -> int1: the xerox does immobilize.; __UNKNOWN__