The cat likes the cow. The cow likes the tiger. The lion needs the tiger. The tiger likes the cow. If something is blue and round then it visits the cat.
The cat likes the cow.
("cat" "likes" "cow" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
If something is blue and round then it visits the cat.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "visits" "cat" "+"))
The lion needs the tiger.
True
1
proof
[(triple3)]
("lion" "needs" "tiger" "+")
triple3
The cow does not like the tiger.
False
1
inv-proof
[(triple2)]
("cow" "likes" "tiger" "-")
triple2
The tiger does not visit the cat.
Unknown
inv-rconc
[@1: The tiger visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "visits" "cat" "-")
The cow likes the cat.
Unknown
random
[@0: The cow likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cat" "+")
@0: The cat likes the cow.[(triple1)] The cow likes the tiger.[(triple2)] The lion needs the tiger.[(triple3)] The tiger likes the cow.[(triple4)]
The cat likes the cow.
("cat" "likes" "cow" "+")
triple1
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple2
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple3
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple4