the rangeland does smock nard and plaits.
sent1: if that something is not a liger and is a rock is wrong it is a liger. sent2: the fact that something smocks nard and plaits is false if it is not a liger. sent3: the rangeland is not a cockatoo. sent4: the rangeland does not smock nard if the lysine is not a cockatoo and does smock nard. sent5: something that is a liger spills fruiterer. sent6: there exists something such that that it is not a kind of a liger is right. sent7: the paperclip does rock if there is something such that it is not a liger. sent8: that the paperclip does plait and it chains Belmont is false if that the rangeland does not smock nard is right. sent9: something plaits if the fact that it does not spill fruiterer and is not a Baptisia is not true. sent10: a rock does chain Belmont. sent11: if something is not a cockatoo that it does not spill fruiterer and is not a kind of a Baptisia is not right. sent12: that the vixen is not a liger but a rock is not right if there exists something such that it does not chain Belmont. sent13: everything is not a kind of a Baptisia.
sent6 & sent7 -> int1: the paperclip does rock.; sent10 -> int2: if the paperclip does rock it does chain Belmont.; int1 & int2 -> int3: the paperclip chains Belmont.; sent9 -> int4: the rangeland plaits if that it does not spill fruiterer and it is not a Baptisia is not true.; sent11 -> int5: that the rangeland does not spill fruiterer and it is not a Baptisia does not hold if it is not a cockatoo.; int5 & sent3 -> int6: the fact that the rangeland does not spill fruiterer and is not a Baptisia does not hold.; int4 & int6 -> int7: the rangeland plaits.;
that the rangeland does smock nard and plaits is not true.
sent2 -> int8: the fact that the rangeland does smock nard and it does plait does not hold if that it is not a liger is right.; sent13 -> int9: the paperclip is not a Baptisia.;
$hypothesis$ = the rangeland does smock nard and plaits. ; $context$ = sent1: if that something is not a liger and is a rock is wrong it is a liger. sent2: the fact that something smocks nard and plaits is false if it is not a liger. sent3: the rangeland is not a cockatoo. sent4: the rangeland does not smock nard if the lysine is not a cockatoo and does smock nard. sent5: something that is a liger spills fruiterer. sent6: there exists something such that that it is not a kind of a liger is right. sent7: the paperclip does rock if there is something such that it is not a liger. sent8: that the paperclip does plait and it chains Belmont is false if that the rangeland does not smock nard is right. sent9: something plaits if the fact that it does not spill fruiterer and is not a Baptisia is not true. sent10: a rock does chain Belmont. sent11: if something is not a cockatoo that it does not spill fruiterer and is not a kind of a Baptisia is not right. sent12: that the vixen is not a liger but a rock is not right if there exists something such that it does not chain Belmont. sent13: everything is not a kind of a Baptisia. ; $proof$ = 
sent6 & sent7 -> int1: the paperclip does rock.; sent10 -> int2: if the paperclip does rock it does chain Belmont.; int1 & int2 -> int3: the paperclip chains Belmont.; sent9 -> int4: the rangeland plaits if that it does not spill fruiterer and it is not a Baptisia is not true.; sent11 -> int5: that the rangeland does not spill fruiterer and it is not a Baptisia does not hold if it is not a cockatoo.; int5 & sent3 -> int6: the fact that the rangeland does not spill fruiterer and is not a Baptisia does not hold.; int4 & int6 -> int7: the rangeland plaits.; __UNKNOWN__