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