Anne is round. Bob is not blue. Charlie is blue. Gary is smart. Furry things are round. If Bob is quiet and Bob is smart then Bob is kind. All quiet things are red.
Anne is round.
("Anne" "is" "round" "+")
Bob is not blue.
("Bob" "is" "blue" "-")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If Bob is quiet and Bob is smart then Bob is kind.
((("Bob" "is" "quiet" "+") ("Bob" "is" "smart" "+")) -> ("Bob" "is" "kind" "+"))
All quiet things are red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
Bob is not blue.
True
1
proof
[(triple2)]
("Bob" "is" "blue" "-")
triple2
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "red" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is round.[(triple1)] Bob is not blue.[(triple2)] Charlie is blue.[(triple3)] Gary is smart.[(triple4)]
Anne is round.
("Anne" "is" "round" "+")
triple1
Bob is not blue.
("Bob" "is" "blue" "-")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Gary is smart.
("Gary" "is" "smart" "+")
triple4