Anne is not nice. Anne is smart. Anne is not white. Anne is not young. Charlie is white. Charlie is young. Dave is green. Dave is quiet. Dave is young. Harry is nice. Harry is not quiet. Harry is young. All green, quiet people are rough. All white people are quiet. All quiet, white people are nice.
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is not white.
("Anne" "is" "white" "-")
Anne is not young.
("Anne" "is" "young" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is young.
("Harry" "is" "young" "+")
All green, quiet people are rough.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
All white people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
All quiet, white people are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
Harry is young.
True
1
proof
[(triple12)]
("Harry" "is" "young" "+")
triple12
Dave is not young.
False
1
inv-proof
[(triple9)]
("Dave" "is" "young" "-")
triple9
Dave is rough.
True
3
proof
[(((triple7 triple8) -> rule1))]
("Dave" "is" "rough" "+")
((triple7 triple8) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Charlie is not quiet.
False
2
inv-proof
[(((triple5) -> rule2))]
("Charlie" "is" "quiet" "-")
((triple5) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Anne is not rough.
Unknown
inv-rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "rough" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "+")
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Anne is not nice.[(triple1)] Anne is not white.[(triple3)] Anne is not young.[(triple4)] Anne is smart.[(triple2)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Dave is green.[(triple7)] Dave is quiet.[(triple8)] Dave is young.[(triple9)] Harry is nice.[(triple10)] Harry is not quiet.[(triple11)] Harry is young.[(triple12)] @1: Charlie is quiet.[(((triple5) -> rule2))] Dave is rough.[(((triple7 triple8) -> rule1))] @2: Charlie is nice.[(((((triple5) -> rule2) triple5) -> rule3))]
Anne is not nice.
("Anne" "is" "nice" "-")
triple1
Anne is not white.
("Anne" "is" "white" "-")
triple3
Anne is not young.
("Anne" "is" "young" "-")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple5) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple7 triple8) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple5) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2