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