The cat eats the dog. The cat is rough. The dog needs the cat. If someone visits the cat and they eat the cat then they eat the dog. If someone eats the cat and they need the dog then the dog is blue.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is rough.
("cat" "is" "rough" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
If someone visits the cat and they eat the cat then they eat the dog.
((("someone" "visits" "cat" "+") ("someone" "eats" "cat" "+")) -> ("someone" "eats" "dog" "+"))
If someone eats the cat and they need the dog then the dog is blue.
((("someone" "eats" "cat" "+") ("someone" "needs" "dog" "+")) -> ("dog" "is" "blue" "+"))
The dog needs the cat.
True
1
proof
[(triple3)]
("dog" "needs" "cat" "+")
triple3
The cat is not rough.
False
1
inv-proof
[(triple2)]
("cat" "is" "rough" "-")
triple2
The dog is not blue.
Unknown
inv-rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "blue" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat eats the dog.[(triple1)] The cat is rough.[(triple2)] The dog needs the cat.[(triple3)]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat is rough.
("cat" "is" "rough" "+")
triple2
The dog needs the cat.
("dog" "needs" "cat" "+")
triple3