the Rioja is not a cleavage.
sent1: the strophanthin is not antistrophic if the fact that the slob is a kind of antistrophic thing that does traffic strophanthin does not hold. sent2: the utensil is a kind of a hunger and it is necromantic if there exists something such that it does wharf. sent3: the wingstem is a kind of a dialectic that does dogmatize Ojibwa. sent4: there is something such that it is not a positive. sent5: there is something such that it wharfs. sent6: if the protactinium is inequitable or it is a positive or both the fact that the Rioja is not a cleavage is not incorrect. sent7: if something is dialectic the fact that it is a kind of a cleavage is true. sent8: if the fact that something is a positive hold then the wingstem does dogmatize Ojibwa and/or is inequitable. sent9: if the protactinium is dialectic then the wingstem is not positive. sent10: the Ojibwa is enzymatic if there is something such that that it does not dogmatize Photius and it is a Islay is wrong. sent11: there exists something such that it traffics staple. sent12: if the fact that something is both positive and not sincere is wrong the fact that it is not a positive hold. sent13: that that the Pyrethrum is a Leontodon is not false if the hypanthium does determine criticism and is not a kind of a privilege is not wrong. sent14: the hypanthium is not a privilege if something is necromantic. sent15: the protactinium is sincere thing that is not non-positive if the strophanthin is not antistrophic. sent16: if the wingstem dogmatizes Ojibwa the protactinium is inequitable. sent17: if there exists something such that it does traffic staple the hypanthium determines criticism and is a politburo. sent18: the Rioja is not inequitable if the protactinium either is a kind of a cleavage or is a positive or both. sent19: the protactinium dogmatizes Ojibwa and it is inequitable if the Rioja is not a kind of a positive. sent20: if the Pyrethrum is a Leontodon that the frontiersman does not dogmatize Photius but it is a Islay is wrong.
sent3 -> int1: the wingstem dogmatizes Ojibwa.; sent16 & int1 -> int2: the protactinium is inequitable.; int2 -> int3: the protactinium is inequitable or it is a positive or both.; sent6 & int3 -> hypothesis;
the marblewood is dialectic.
sent12 -> int4: the Rioja is not a positive if that it is a positive and it is not sincere is wrong.;
$hypothesis$ = the Rioja is not a cleavage. ; $context$ = sent1: the strophanthin is not antistrophic if the fact that the slob is a kind of antistrophic thing that does traffic strophanthin does not hold. sent2: the utensil is a kind of a hunger and it is necromantic if there exists something such that it does wharf. sent3: the wingstem is a kind of a dialectic that does dogmatize Ojibwa. sent4: there is something such that it is not a positive. sent5: there is something such that it wharfs. sent6: if the protactinium is inequitable or it is a positive or both the fact that the Rioja is not a cleavage is not incorrect. sent7: if something is dialectic the fact that it is a kind of a cleavage is true. sent8: if the fact that something is a positive hold then the wingstem does dogmatize Ojibwa and/or is inequitable. sent9: if the protactinium is dialectic then the wingstem is not positive. sent10: the Ojibwa is enzymatic if there is something such that that it does not dogmatize Photius and it is a Islay is wrong. sent11: there exists something such that it traffics staple. sent12: if the fact that something is both positive and not sincere is wrong the fact that it is not a positive hold. sent13: that that the Pyrethrum is a Leontodon is not false if the hypanthium does determine criticism and is not a kind of a privilege is not wrong. sent14: the hypanthium is not a privilege if something is necromantic. sent15: the protactinium is sincere thing that is not non-positive if the strophanthin is not antistrophic. sent16: if the wingstem dogmatizes Ojibwa the protactinium is inequitable. sent17: if there exists something such that it does traffic staple the hypanthium determines criticism and is a politburo. sent18: the Rioja is not inequitable if the protactinium either is a kind of a cleavage or is a positive or both. sent19: the protactinium dogmatizes Ojibwa and it is inequitable if the Rioja is not a kind of a positive. sent20: if the Pyrethrum is a Leontodon that the frontiersman does not dogmatize Photius but it is a Islay is wrong. ; $proof$ = 
sent3 -> int1: the wingstem dogmatizes Ojibwa.; sent16 & int1 -> int2: the protactinium is inequitable.; int2 -> int3: the protactinium is inequitable or it is a positive or both.; sent6 & int3 -> hypothesis; __PROVED__