there exists something such that if it is a Palestinian it is not dysphoric and it is not undomestic.
sent1: if the fact that something is both not lobular and not a domestic is not right then it is a domestic. sent2: something recriminates if it is a kind of a stopper. sent3: the fact that the groundsman is Coleridgian is correct. sent4: that the groundsman is not lobular and it is not a domestic is not correct if it is a arcus. sent5: if something does stopper and is dysphoric it is not Palestinian. sent6: that the groundsman is a arcus is not wrong. sent7: the fact that the groundsman is not lobular but it is a kind of a domestic is false if it is a arcus. sent8: if a arcus is a domestic it is dysphoric. sent9: there exists something such that if it is clonic it is not non-anthropocentric.
void -> assump1: Let's assume that the groundsman is dysphoric.; sent5 -> int1: the groundsman is not a kind of a Palestinian if it stoppers and it is dysphoric.; void -> assump2: Let's assume that the groundsman is a Palestinian.; sent1 -> int2: if that the groundsman is non-lobular thing that is not a domestic is not correct it is domestic.; sent4 & sent6 -> int3: that the groundsman is not lobular and it is not a domestic is not true.; int2 & int3 -> int4: the groundsman is a domestic.;
the lapel does recriminate and is lobular.
sent2 -> int5: the lapel does recriminate if it does stopper.;
$hypothesis$ = there exists something such that if it is a Palestinian it is not dysphoric and it is not undomestic. ; $context$ = sent1: if the fact that something is both not lobular and not a domestic is not right then it is a domestic. sent2: something recriminates if it is a kind of a stopper. sent3: the fact that the groundsman is Coleridgian is correct. sent4: that the groundsman is not lobular and it is not a domestic is not correct if it is a arcus. sent5: if something does stopper and is dysphoric it is not Palestinian. sent6: that the groundsman is a arcus is not wrong. sent7: the fact that the groundsman is not lobular but it is a kind of a domestic is false if it is a arcus. sent8: if a arcus is a domestic it is dysphoric. sent9: there exists something such that if it is clonic it is not non-anthropocentric. ; $proof$ = 
void -> assump1: Let's assume that the groundsman is dysphoric.; sent5 -> int1: the groundsman is not a kind of a Palestinian if it stoppers and it is dysphoric.; void -> assump2: Let's assume that the groundsman is a Palestinian.; sent1 -> int2: if that the groundsman is non-lobular thing that is not a domestic is not correct it is domestic.; sent4 & sent6 -> int3: that the groundsman is not lobular and it is not a domestic is not true.; int2 & int3 -> int4: the groundsman is a domestic.; __UNKNOWN__