the fact that the spacecraft does not wrong and/or does not promenade if the poodle is diplomatic does not hold.
sent1: the poodle is a paraph. sent2: the spacecraft does not wrong or it promenades or both if the poodle is diplomatic. sent3: the spacecraft is a wrong or it does not promenade or both. sent4: a quadrivium is diplomatic. sent5: the spacecraft does not wrong if there is something such that the fact that it is not diplomatic or a promenade or both is not right. sent6: there are wrong things. sent7: the spacecraft does not promenade if there exists something such that the fact that it is not diplomatic and/or it is not wrong is not true. sent8: if the fact that the estrogen does not jump milliampere hold the Ewe is both a quadrivium and benthic. sent9: if there exists something such that that it is not a wrong or it is not a promenade or both does not hold then the poodle is not diplomatic. sent10: if the Ewe is diplomatic that the poodle does not nominate or it is not Donnean or both does not hold. sent11: the spacecraft is not diplomatic and/or it does not wrong. sent12: if the fact that the fantasist is a dormouse but it is not cytological does not hold then the estrogen does not jump milliampere. sent13: the spacecraft does wrong. sent14: there exists something such that the fact that it wrongs or it is not a promenade or both is not true.
void -> assump1: Let's assume that that the spacecraft does not wrong or does not promenade or both does not hold.; assump1 -> int1: there is something such that that it does not wrong or it does not promenade or both is not true.; int1 & sent9 -> int2: the poodle is not diplomatic.; void -> assump2: Let's assume that the poodle is diplomatic.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the spacecraft either does not wrong or is not a promenade or both.; [assump2] & int4 -> hypothesis;
there is something such that the fact that it does not nominate and/or it is not Donnean is wrong.
sent4 -> int5: that the Ewe is diplomatic hold if it is a kind of a quadrivium.;
$hypothesis$ = the fact that the spacecraft does not wrong and/or does not promenade if the poodle is diplomatic does not hold. ; $context$ = sent1: the poodle is a paraph. sent2: the spacecraft does not wrong or it promenades or both if the poodle is diplomatic. sent3: the spacecraft is a wrong or it does not promenade or both. sent4: a quadrivium is diplomatic. sent5: the spacecraft does not wrong if there is something such that the fact that it is not diplomatic or a promenade or both is not right. sent6: there are wrong things. sent7: the spacecraft does not promenade if there exists something such that the fact that it is not diplomatic and/or it is not wrong is not true. sent8: if the fact that the estrogen does not jump milliampere hold the Ewe is both a quadrivium and benthic. sent9: if there exists something such that that it is not a wrong or it is not a promenade or both does not hold then the poodle is not diplomatic. sent10: if the Ewe is diplomatic that the poodle does not nominate or it is not Donnean or both does not hold. sent11: the spacecraft is not diplomatic and/or it does not wrong. sent12: if the fact that the fantasist is a dormouse but it is not cytological does not hold then the estrogen does not jump milliampere. sent13: the spacecraft does wrong. sent14: there exists something such that the fact that it wrongs or it is not a promenade or both is not true. ; $proof$ = 
void -> assump1: Let's assume that that the spacecraft does not wrong or does not promenade or both does not hold.; assump1 -> int1: there is something such that that it does not wrong or it does not promenade or both is not true.; int1 & sent9 -> int2: the poodle is not diplomatic.; void -> assump2: Let's assume that the poodle is diplomatic.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the spacecraft either does not wrong or is not a promenade or both.; [assump2] & int4 -> hypothesis; __DISPROVED__