The cow does not need the dog. The dog is rough. The lion is big. If someone is rough and they need the lion then they are blue. If the lion chases the dog then the lion is blue.
The cow does not need the dog.
("cow" "needs" "dog" "-")
The dog is rough.
("dog" "is" "rough" "+")
The lion is big.
("lion" "is" "big" "+")
If someone is rough and they need the lion then they are blue.
((("someone" "is" "rough" "+") ("someone" "needs" "lion" "+")) -> ("someone" "is" "blue" "+"))
If the lion chases the dog then the lion is blue.
((("lion" "chases" "dog" "+")) -> ("lion" "is" "blue" "+"))
The dog is rough.
True
1
proof
[(triple2)]
("dog" "is" "rough" "+")
triple2
The cow needs the dog.
False
1
inv-proof
[(triple1)]
("cow" "needs" "dog" "+")
triple1
The cow is not blue.
Unknown
inv-rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "blue" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The cow does not need the dog.[(triple1)] The dog is rough.[(triple2)] The lion is big.[(triple3)]
The cow does not need the dog.
("cow" "needs" "dog" "-")
triple1
The dog is rough.
("dog" "is" "rough" "+")
triple2
The lion is big.
("lion" "is" "big" "+")
triple3