the macroevolution is not an oxford.
sent1: something is not a paraplegic if it is a kind of a lathi that is a kind of an oxford. sent2: if the Leonberg is not Portuguese and does arrive the macroevolution is a paraplegic. sent3: there exists something such that it is evitable. sent4: if that the macroevolution is not argillaceous is not incorrect that the composition is a paraplegic is correct. sent5: if there exists something such that it is not a kind of an inevitable the bilirubin arrives and is not amphitheatric. sent6: the seven-spot is a kind of a Portuguese. sent7: if something is argillaceous then the macroevolution is stoloniferous. sent8: the Leonberg is not a Portuguese. sent9: that the niblick is a kind of non-distributional thing that does not arrive does not hold if there exists something such that it arrive. sent10: the macroevolution is a paraplegic if the Leonberg is a Portuguese and does arrive. sent11: if there is something such that it is not an oxford that the fact that the Leonberg is not a Portuguese but an oxford is right is incorrect. sent12: the macroevolution is a lathi if it is not non-stoloniferous. sent13: if that the niblick is not distributional and it does not arrive does not hold then it is not an oxford. sent14: if the fact that the Leonberg is not Portuguese and is an oxford does not hold then it is not a kind of a lathi. sent15: if something is not a lathi that it is argillaceous and it is not stoloniferous is false. sent16: there exists something such that it is argillaceous.
sent16 & sent7 -> int1: the macroevolution is stoloniferous.; int1 & sent12 -> int2: the fact that the macroevolution is a lathi hold.; void -> assump1: Let's assume that the macroevolution is an oxford.; int2 & assump1 -> int3: the macroevolution is a lathi and it is an oxford.; sent1 -> int4: the fact that the macroevolution is not a kind of a paraplegic is not false if it is a lathi and it is an oxford.; int3 & int4 -> int5: the macroevolution is not a paraplegic.;
the composition is a kind of a paraplegic.
sent15 -> int6: that the Leonberg is argillaceous but it is not stoloniferous is not true if it is not a kind of a lathi.; sent3 & sent5 -> int7: the bilirubin does arrive but it is not amphitheatric.; int7 -> int8: the bilirubin arrives.; int8 -> int9: there is something such that it does arrive.; int9 & sent9 -> int10: the fact that the niblick is not distributional and it does not arrive is not true.; sent13 & int10 -> int11: the niblick is not an oxford.; int11 -> int12: there exists something such that it is not an oxford.; int12 & sent11 -> int13: that the Leonberg is not a kind of a Portuguese but it is a kind of an oxford is not right.; sent14 & int13 -> int14: the Leonberg is not a lathi.; int6 & int14 -> int15: that the Leonberg is argillaceous but it is not stoloniferous is not true.; int15 -> int16: there exists something such that the fact that it is both not non-argillaceous and not stoloniferous is wrong.;
$hypothesis$ = the macroevolution is not an oxford. ; $context$ = sent1: something is not a paraplegic if it is a kind of a lathi that is a kind of an oxford. sent2: if the Leonberg is not Portuguese and does arrive the macroevolution is a paraplegic. sent3: there exists something such that it is evitable. sent4: if that the macroevolution is not argillaceous is not incorrect that the composition is a paraplegic is correct. sent5: if there exists something such that it is not a kind of an inevitable the bilirubin arrives and is not amphitheatric. sent6: the seven-spot is a kind of a Portuguese. sent7: if something is argillaceous then the macroevolution is stoloniferous. sent8: the Leonberg is not a Portuguese. sent9: that the niblick is a kind of non-distributional thing that does not arrive does not hold if there exists something such that it arrive. sent10: the macroevolution is a paraplegic if the Leonberg is a Portuguese and does arrive. sent11: if there is something such that it is not an oxford that the fact that the Leonberg is not a Portuguese but an oxford is right is incorrect. sent12: the macroevolution is a lathi if it is not non-stoloniferous. sent13: if that the niblick is not distributional and it does not arrive does not hold then it is not an oxford. sent14: if the fact that the Leonberg is not Portuguese and is an oxford does not hold then it is not a kind of a lathi. sent15: if something is not a lathi that it is argillaceous and it is not stoloniferous is false. sent16: there exists something such that it is argillaceous. ; $proof$ = 
sent16 & sent7 -> int1: the macroevolution is stoloniferous.; int1 & sent12 -> int2: the fact that the macroevolution is a lathi hold.; void -> assump1: Let's assume that the macroevolution is an oxford.; int2 & assump1 -> int3: the macroevolution is a lathi and it is an oxford.; sent1 -> int4: the fact that the macroevolution is not a kind of a paraplegic is not false if it is a lathi and it is an oxford.; int3 & int4 -> int5: the macroevolution is not a paraplegic.; __UNKNOWN__