the simian is relevant and it hates.
sent1: there is something such that it begins Zizania and is a clearance. sent2: that something is not a kind of a Proterochampsa and is commodious is true if it is not a flies. sent3: the gynoecium is commodious if it is not a flies. sent4: the infiltration is not robotic and it is not a misoneism. sent5: the bondman is a ruminant and it is anthropogenetic if there exists something such that it is usufructuary. sent6: if there is something such that that it is not a kind of a hate and it does not destruct does not hold then the lollipop is not relevant. sent7: the simian is not a flies if there exists something such that that it is commodious and it is not a kind of a Proterochampsa does not hold. sent8: the simian is relevant if the gynoecium is not a kind of a Proterochampsa but it is commodious. sent9: if there is something such that the fact that it begins Zizania and is a kind of a clearance is incorrect the gynoecium is not a flies. sent10: the simian destructs. sent11: if that there exists something such that that it does not begin Zizania is not wrong is right that the gynoecium does not fly is correct. sent12: the gynoecium is commodious. sent13: the infiltration is a kind of a usufructuary if it is both not robotic and not a misoneism. sent14: something that is not a flies is commodious. sent15: that the fact that the cascarilla is commodious and is not a Proterochampsa is correct is not correct if the fact that the lollipop is not relevant is not false. sent16: if the simian destructs then it does hate. sent17: the fact that something does not hate and it does not destruct is incorrect if it is anthropogenetic. sent18: that the gynoecium is a cobnut and it does block Phyllodoce is false if the simian does not fly.
sent2 -> int1: the gynoecium is both not a Proterochampsa and not incommodious if it is not a flies.; sent16 & sent10 -> int2: the simian is a hate.;
there is something such that the fact that the fact that it is a kind of a cobnut and blocks Phyllodoce hold is not right.
sent17 -> int3: the fact that the bondman is not a hate and it does not destruct is not correct if it is anthropogenetic.; sent13 & sent4 -> int4: the infiltration is a usufructuary.; int4 -> int5: there are usufructuary things.; int5 & sent5 -> int6: the bondman is a kind of a ruminant and it is anthropogenetic.; int6 -> int7: the bondman is anthropogenetic.; int3 & int7 -> int8: that the bondman does not hate and does not destruct is not correct.; int8 -> int9: there exists something such that the fact that it does not hate and it does not destruct is not right.; int9 & sent6 -> int10: the lollipop is not relevant.; sent15 & int10 -> int11: that the cascarilla is commodious and is not a kind of a Proterochampsa is incorrect.; int11 -> int12: there exists something such that the fact that it is commodious and it is not a Proterochampsa does not hold.; int12 & sent7 -> int13: the simian is not a flies.; sent18 & int13 -> int14: the fact that the gynoecium is a cobnut and it does block Phyllodoce is incorrect.; int14 -> hypothesis;
$hypothesis$ = the simian is relevant and it hates. ; $context$ = sent1: there is something such that it begins Zizania and is a clearance. sent2: that something is not a kind of a Proterochampsa and is commodious is true if it is not a flies. sent3: the gynoecium is commodious if it is not a flies. sent4: the infiltration is not robotic and it is not a misoneism. sent5: the bondman is a ruminant and it is anthropogenetic if there exists something such that it is usufructuary. sent6: if there is something such that that it is not a kind of a hate and it does not destruct does not hold then the lollipop is not relevant. sent7: the simian is not a flies if there exists something such that that it is commodious and it is not a kind of a Proterochampsa does not hold. sent8: the simian is relevant if the gynoecium is not a kind of a Proterochampsa but it is commodious. sent9: if there is something such that the fact that it begins Zizania and is a kind of a clearance is incorrect the gynoecium is not a flies. sent10: the simian destructs. sent11: if that there exists something such that that it does not begin Zizania is not wrong is right that the gynoecium does not fly is correct. sent12: the gynoecium is commodious. sent13: the infiltration is a kind of a usufructuary if it is both not robotic and not a misoneism. sent14: something that is not a flies is commodious. sent15: that the fact that the cascarilla is commodious and is not a Proterochampsa is correct is not correct if the fact that the lollipop is not relevant is not false. sent16: if the simian destructs then it does hate. sent17: the fact that something does not hate and it does not destruct is incorrect if it is anthropogenetic. sent18: that the gynoecium is a cobnut and it does block Phyllodoce is false if the simian does not fly. ; $proof$ = 
sent2 -> int1: the gynoecium is both not a Proterochampsa and not incommodious if it is not a flies.; sent16 & sent10 -> int2: the simian is a hate.; __UNKNOWN__