there exists something such that it does not tout puff and/or it claps Cnidoscolus.
sent1: there exists something such that it touts puff or it does clap Cnidoscolus or both. sent2: there exists something such that it is empyreal. sent3: if that either the microevolution is orthopedic or it shallows or both is wrong the orphan is not empyreal. sent4: the fact that something does not tout sailing but it does indurate seiche is not correct if it is not empyreal. sent5: the fact that the Ahuehuete is not shallow is not wrong if the orphan does not tout sailing and it is non-orthopedic. sent6: if the Ahuehuete is not shallow then either it touts puff or it does clap Cnidoscolus or both. sent7: the Ahuehuete does not tout puff and/or it does clap Cnidoscolus if it is not shallow. sent8: if there are non-empyreal things the orphan does not tout sailing. sent9: the Ahuehuete touts puff and/or it does clap Cnidoscolus. sent10: there exists something such that the fact that it does rationalize and does clap Cnidoscolus is not true. sent11: something is not empyreal. sent12: if the microevolution does not tout puff then the fact that either it is orthopedic or it does shallow or both is not right. sent13: if there is something such that the fact that it is non-empyreal is right then the orphan does not tout sailing and it is not orthopedic. sent14: the Ahuehuete does not shallow if the orphan touts sailing but it is not orthopedic.
sent11 & sent13 -> int1: the orphan does not tout sailing and it is not orthopedic.; int1 & sent5 -> int2: that the Ahuehuete is shallow does not hold.; int2 & sent7 -> int3: the Ahuehuete does not tout puff and/or it claps Cnidoscolus.; int3 -> hypothesis;
the Ahuehuete does not indurate seiche.
sent4 -> int4: if that the orphan is not empyreal hold the fact that it does not tout sailing and it indurates seiche does not hold.;
$hypothesis$ = there exists something such that it does not tout puff and/or it claps Cnidoscolus. ; $context$ = sent1: there exists something such that it touts puff or it does clap Cnidoscolus or both. sent2: there exists something such that it is empyreal. sent3: if that either the microevolution is orthopedic or it shallows or both is wrong the orphan is not empyreal. sent4: the fact that something does not tout sailing but it does indurate seiche is not correct if it is not empyreal. sent5: the fact that the Ahuehuete is not shallow is not wrong if the orphan does not tout sailing and it is non-orthopedic. sent6: if the Ahuehuete is not shallow then either it touts puff or it does clap Cnidoscolus or both. sent7: the Ahuehuete does not tout puff and/or it does clap Cnidoscolus if it is not shallow. sent8: if there are non-empyreal things the orphan does not tout sailing. sent9: the Ahuehuete touts puff and/or it does clap Cnidoscolus. sent10: there exists something such that the fact that it does rationalize and does clap Cnidoscolus is not true. sent11: something is not empyreal. sent12: if the microevolution does not tout puff then the fact that either it is orthopedic or it does shallow or both is not right. sent13: if there is something such that the fact that it is non-empyreal is right then the orphan does not tout sailing and it is not orthopedic. sent14: the Ahuehuete does not shallow if the orphan touts sailing but it is not orthopedic. ; $proof$ = 
sent11 & sent13 -> int1: the orphan does not tout sailing and it is not orthopedic.; int1 & sent5 -> int2: that the Ahuehuete is shallow does not hold.; int2 & sent7 -> int3: the Ahuehuete does not tout puff and/or it claps Cnidoscolus.; int3 -> hypothesis; __PROVED__