there exists something such that if it is a kind of a Mayday and/or it is a costing then it is not submissive.
sent1: if the coonskin is a kind of a Mayday it is not creaseproof. sent2: if the coonskin does case and/or stockades then it is a continuousness. sent3: there exists something such that if it does cost then the fact that it is not submissive is not incorrect. sent4: if the Trapezium is a Hylobatidae then it is not submissive. sent5: the coonskin is not submissive if it is a kind of a Mayday. sent6: the sepal is not a Anacyclus if it does owe and/or is submissive. sent7: there exists something such that if either it sighs or it does slog Hippoboscidae or both it is a kind of a celandine. sent8: the coonskin is submissive if it is a Mayday and/or it is a costing. sent9: there is something such that if either it is a Mayday or it is a kind of a costing or both then it is submissive. sent10: there is something such that if it is a laager and/or a Converso then it is not statutory. sent11: there exists something such that if it is a kind of a Mayday that it is not submissive is not incorrect. sent12: the coonskin is not a kind of a cushion if it slogs barrelhouse or it costs or both. sent13: there is something such that if it is ventral then it is not tuneless. sent14: if the coonskin either is tubal or is a IRS or both then it is not a kind of a sigh. sent15: if either something is tetravalent or it does fold or both then it is not a kind of an appetite. sent16: there is something such that if it is a Circassian it is not a kind of a float. sent17: there is something such that if it is heedful and/or it is a tested then it does not rid satisfaction. sent18: something is not a costing if either it rids damper or it does rendezvous or both. sent19: there exists something such that if it is a chow and/or slogs barrelhouse it does not slog Dushanbe. sent20: that the coonskin is not submissive hold if it is a Mayday and/or it is a costing.
sent20 -> hypothesis;
if the coonskin does rid damper and/or it is a rendezvous it does not cost.
sent18 -> hypothesis;
$hypothesis$ = there exists something such that if it is a kind of a Mayday and/or it is a costing then it is not submissive. ; $context$ = sent1: if the coonskin is a kind of a Mayday it is not creaseproof. sent2: if the coonskin does case and/or stockades then it is a continuousness. sent3: there exists something such that if it does cost then the fact that it is not submissive is not incorrect. sent4: if the Trapezium is a Hylobatidae then it is not submissive. sent5: the coonskin is not submissive if it is a kind of a Mayday. sent6: the sepal is not a Anacyclus if it does owe and/or is submissive. sent7: there exists something such that if either it sighs or it does slog Hippoboscidae or both it is a kind of a celandine. sent8: the coonskin is submissive if it is a Mayday and/or it is a costing. sent9: there is something such that if either it is a Mayday or it is a kind of a costing or both then it is submissive. sent10: there is something such that if it is a laager and/or a Converso then it is not statutory. sent11: there exists something such that if it is a kind of a Mayday that it is not submissive is not incorrect. sent12: the coonskin is not a kind of a cushion if it slogs barrelhouse or it costs or both. sent13: there is something such that if it is ventral then it is not tuneless. sent14: if the coonskin either is tubal or is a IRS or both then it is not a kind of a sigh. sent15: if either something is tetravalent or it does fold or both then it is not a kind of an appetite. sent16: there is something such that if it is a Circassian it is not a kind of a float. sent17: there is something such that if it is heedful and/or it is a tested then it does not rid satisfaction. sent18: something is not a costing if either it rids damper or it does rendezvous or both. sent19: there exists something such that if it is a chow and/or slogs barrelhouse it does not slog Dushanbe. sent20: that the coonskin is not submissive hold if it is a Mayday and/or it is a costing. ; $proof$ = 
sent20 -> hypothesis; __PROVED__