Anne is big. Anne is blue. Anne is quiet. Anne is red. Charlie is red. Dave is big. Dave is blue. Dave is quiet. Gary is green. Gary is quiet. All blue, kind people are quiet. All blue people are kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
All blue, kind people are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
All blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Anne is red.
True
1
proof
[(triple4)]
("Anne" "is" "red" "+")
triple4
Gary is not quiet.
False
1
inv-proof
[(triple10)]
("Gary" "is" "quiet" "-")
triple10
Charlie is not quiet.
Unknown
inv-rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is quiet.[(triple3 OR ((triple2 ((triple2) -> rule2)) -> rule1))] Anne is red.[(triple4)] Charlie is red.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7)] Dave is quiet.[(triple8 OR ((triple7 ((triple7) -> rule2)) -> rule1))] Gary is green.[(triple9)] Gary is quiet.[(triple10)] @1: Anne is kind.[(((triple2) -> rule2))] Dave is kind.[(((triple7) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
triple8
((triple7 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Anne is kind.
("Anne" "is" "kind" "+")
((triple2) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple7) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1