that there exists something such that it is not a Girondist and it is not a kind of a Padda is not right.
sent1: the serratus is a much. sent2: that there is something such that it is both a qepiq and a loss is not wrong. sent3: that the khakis is not Epicurean is not wrong. sent4: if there exists something such that it is a qepiq and it is a kind of a loss the khakis does not roll Stone. sent5: if the khakis is not a Padda the cootie is both not a Girondist and not a Padda. sent6: if something that is a Padda does roll Stone the cootie is not a Girondist. sent7: something is a loss. sent8: the prosthodontist is not a Padda. sent9: if something is a much then that the khakis does not roll Stone but it is a Padda does not hold. sent10: there exists something such that it is not a Girondist and it does roll Stone.
sent2 & sent4 -> int1: the khakis does not roll Stone.; void -> assump1: Let's assume that the khakis is a Padda.; int1 & assump1 -> int2: the khakis does not roll Stone and is a kind of a Padda.; sent1 -> int3: there is something such that it is a kind of a much.; int3 & sent9 -> int4: that the khakis does not roll Stone but it is a kind of a Padda does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the khakis is not a Padda.; int6 & sent5 -> int7: the cootie is not a Girondist and is not a Padda.; int7 -> hypothesis;
$hypothesis$ = that there exists something such that it is not a Girondist and it is not a kind of a Padda is not right. ; $context$ = sent1: the serratus is a much. sent2: that there is something such that it is both a qepiq and a loss is not wrong. sent3: that the khakis is not Epicurean is not wrong. sent4: if there exists something such that it is a qepiq and it is a kind of a loss the khakis does not roll Stone. sent5: if the khakis is not a Padda the cootie is both not a Girondist and not a Padda. sent6: if something that is a Padda does roll Stone the cootie is not a Girondist. sent7: something is a loss. sent8: the prosthodontist is not a Padda. sent9: if something is a much then that the khakis does not roll Stone but it is a Padda does not hold. sent10: there exists something such that it is not a Girondist and it does roll Stone. ; $proof$ = 
sent2 & sent4 -> int1: the khakis does not roll Stone.; void -> assump1: Let's assume that the khakis is a Padda.; int1 & assump1 -> int2: the khakis does not roll Stone and is a kind of a Padda.; sent1 -> int3: there is something such that it is a kind of a much.; int3 & sent9 -> int4: that the khakis does not roll Stone but it is a kind of a Padda does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the khakis is not a Padda.; int6 & sent5 -> int7: the cootie is not a Girondist and is not a Padda.; int7 -> hypothesis; __DISPROVED__