Anne is not red. Bob is young. Dave is red. If something is quiet and smart then it is red. All quiet, smart things are not kind.
Anne is not red.
("Anne" "is" "red" "-")
Bob is young.
("Bob" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
If something is quiet and smart then it is red.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
All quiet, smart things are not kind.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "-"))
Bob is young.
True
1
proof
[(triple2)]
("Bob" "is" "young" "+")
triple2
Anne is red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "+")
triple1
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Anne is not red.[(triple1)] Bob is young.[(triple2)] Dave is red.[(triple3)]
Anne is not red.
("Anne" "is" "red" "-")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3