The dog is blue. If someone is blue and rough then they are green. Rough people are blue. If the dog is green and the dog is young then the dog is rough.
The dog is blue.
("dog" "is" "blue" "+")
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If the dog is green and the dog is young then the dog is rough.
((("dog" "is" "green" "+") ("dog" "is" "young" "+")) -> ("dog" "is" "rough" "+"))
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 rough.
Unknown
inv-rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "rough" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
@0: The dog is blue.[(triple1)]
The dog is blue.
("dog" "is" "blue" "+")
triple1