Anne is nice. Anne is quiet. Charlie is blue. Charlie is furry. Dave is blue. Dave is nice. Dave is young. Gary is green. Gary is not nice. Gary is young. If something is blue then it is young. All blue things are green. If Dave is furry then Dave is quiet. If Gary is green and Gary is nice then Gary is young. All rough, young things are blue. If something is nice and not green then it is not quiet.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is young.
("Gary" "is" "young" "+")
If something is blue then it is young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
All blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If Dave is furry then Dave is quiet.
((("Dave" "is" "furry" "+")) -> ("Dave" "is" "quiet" "+"))
If Gary is green and Gary is nice then Gary is young.
((("Gary" "is" "green" "+") ("Gary" "is" "nice" "+")) -> ("Gary" "is" "young" "+"))
All rough, young things are blue.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If something is nice and not green then it is not quiet.
((("something" "is" "nice" "+") ("something" "is" "green" "~")) -> ("something" "is" "quiet" "-"))
Charlie is furry.
True
1
proof
[(triple4)]
("Charlie" "is" "furry" "+")
triple4
Charlie is not furry.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "furry" "-")
triple4
Anne is not green.
Unknown
inv-rconc
[@2: Anne is green.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Anne" "is" "green" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Charlie is blue.[(triple3)] Charlie is furry.[(triple4)] Dave is blue.[(triple5)] Dave is nice.[(triple6)] Dave is young.[(triple7 OR ((triple5) -> rule1))] Gary is green.[(triple8)] Gary is not nice.[(triple9)] Gary is young.[(triple10)] @1: Charlie is green.[(((triple3) -> rule2))] Charlie is young.[(((triple3) -> rule1))] Dave is green.[(((triple5) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
((triple5) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is not nice.
("Gary" "is" "nice" "-")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Charlie is green.
("Charlie" "is" "green" "+")
((triple3) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple3) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple5) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1