# constructive dilemma test case

@prefix prolog: <http://eulersharp.sourceforge.net/2003/03swap/prolog#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix var: <http://localhost/var#>.
@prefix : <http://eulersharp.sourceforge.net/2007/07test/cd#>.

{?P a :HumanFemale} => {?P a :Human}.
{?P a :HumanMale} => {?P a :Human}.

#{?P a :HumanFemale. ?P a :HumanMale} => false.

@forSome var:P. true => ({var:P a :HumanMale} {var:P a :HumanFemale})!e:disjunction.
#@forSome var:P. {?SCOPE e:call {({var:P a :HumanMale}) prolog:not_provable true}} => {var:P a :HumanFemale}.
#@forSome var:P. {?SCOPE e:call {({var:P a :HumanFemale}) prolog:not_provable true}} => {var:P a :HumanMale}.
