the potbelly does not reign Adad.
sent1: the fact that the wildflower is not a virago and/or it is just is not true if the lambrequin is not painful. sent2: if the placket is appositional then the fact that the fact that it is not a virago and does miscarry transcendentalist is true is false. sent3: if something is not proximal then it is painful and/or nonterritorial. sent4: the lambrequin is not proximal or it is nonterritorial or both. sent5: if the placket is not painful it is appositional. sent6: if there exists something such that that it is a kind of proximal thing that is not appositional is incorrect the potbelly is not proximal. sent7: if the mulloway miscarries transcendentalist then that the lambrequin is proximal but not appositional is wrong. sent8: the mulloway is a knell. sent9: if that the allergist is not interfacial is true the mulloway miscarries transcendentalist and it is a virago. sent10: if there exists something such that it is both a knell and not interfacial then the potbelly does not reign Adad. sent11: something is non-painful if the fact that it is both proximal and non-painful is not right. sent12: the allergist is not interfacial. sent13: that the lambrequin is not proximal and/or it is nonterritorial is wrong if there is something such that it is painful.
void -> assump1: Let's assume that the placket is painful.; assump1 -> int1: there is something such that it is painful.; int1 & sent13 -> int2: that the lambrequin is either not proximal or nonterritorial or both is not true.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the placket is not painful.; int4 & sent5 -> int5: the placket is appositional.; int5 & sent2 -> int6: the fact that the placket is not a virago and does miscarry transcendentalist does not hold.;
the fact that the wildflower is either not a virago or just or both is not right.
sent11 -> int7: the lambrequin is not painful if the fact that it is proximal and it is painful is not correct.;
$hypothesis$ = the potbelly does not reign Adad. ; $context$ = sent1: the fact that the wildflower is not a virago and/or it is just is not true if the lambrequin is not painful. sent2: if the placket is appositional then the fact that the fact that it is not a virago and does miscarry transcendentalist is true is false. sent3: if something is not proximal then it is painful and/or nonterritorial. sent4: the lambrequin is not proximal or it is nonterritorial or both. sent5: if the placket is not painful it is appositional. sent6: if there exists something such that that it is a kind of proximal thing that is not appositional is incorrect the potbelly is not proximal. sent7: if the mulloway miscarries transcendentalist then that the lambrequin is proximal but not appositional is wrong. sent8: the mulloway is a knell. sent9: if that the allergist is not interfacial is true the mulloway miscarries transcendentalist and it is a virago. sent10: if there exists something such that it is both a knell and not interfacial then the potbelly does not reign Adad. sent11: something is non-painful if the fact that it is both proximal and non-painful is not right. sent12: the allergist is not interfacial. sent13: that the lambrequin is not proximal and/or it is nonterritorial is wrong if there is something such that it is painful. ; $proof$ = 
void -> assump1: Let's assume that the placket is painful.; assump1 -> int1: there is something such that it is painful.; int1 & sent13 -> int2: that the lambrequin is either not proximal or nonterritorial or both is not true.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the placket is not painful.; int4 & sent5 -> int5: the placket is appositional.; int5 & sent2 -> int6: the fact that the placket is not a virago and does miscarry transcendentalist does not hold.; __UNKNOWN__