The dog is blue. If something is green then it is kind. If something is green and red then it is kind. Red things are kind.
The dog is blue.
("dog" "is" "blue" "+")
If something is green then it is kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something is green and red then it is kind.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
Red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
The dog is blue.
True
1
proof
[(triple1)]
("dog" "is" "blue" "+")
triple1
The dog is not blue.
False
1
inv-proof
[(triple1)]
("dog" "is" "blue" "-")
triple1
The dog is not kind.
Unknown
inv-rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "kind" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog is blue.[(triple1)]
The dog is blue.
("dog" "is" "blue" "+")
triple1