Anne is blue. Anne is not furry. Anne is green. Anne is kind. Anne is rough. Bob is blue. Bob is nice. All cold, green people are nice.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
All cold, green people are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Anne is rough.
True
1
proof
[(triple5)]
("Anne" "is" "rough" "+")
triple5
Bob is not nice.
False
1
inv-proof
[(triple7)]
("Bob" "is" "nice" "-")
triple7
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is not furry.[(triple2)] Anne is rough.[(triple5)] Bob is blue.[(triple6)] Bob is nice.[(triple7)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple7