The cat is blue. The cat likes the squirrel. The cow eats the squirrel. The cow is red. The squirrel eats the cat. The squirrel eats the cow. The squirrel is not cold. The squirrel is rough. The squirrel likes the cow. The squirrel likes the tiger. The squirrel visits the cow. The tiger does not eat the squirrel. If the tiger visits the squirrel then the tiger visits the cat. If something likes the squirrel and it likes the cow then the cow eats the cat.
The cat is blue.
("cat" "is" "blue" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is red.
("cow" "is" "red" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
If the tiger visits the squirrel then the tiger visits the cat.
((("tiger" "visits" "squirrel" "+")) -> ("tiger" "visits" "cat" "+"))
If something likes the squirrel and it likes the cow then the cow eats the cat.
((("something" "likes" "squirrel" "+") ("something" "likes" "cow" "+")) -> ("cow" "eats" "cat" "+"))
The cow is red.
True
1
proof
[(triple4)]
("cow" "is" "red" "+")
triple4
The squirrel is not rough.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "rough" "-")
triple8
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 squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The cat is blue.[(triple1)] The cat likes the squirrel.[(triple2)] The cow eats the squirrel.[(triple3)] The cow is red.[(triple4)] The squirrel eats the cat.[(triple5)] The squirrel eats the cow.[(triple6)] The squirrel is not cold.[(triple7)] The squirrel is rough.[(triple8)] The squirrel likes the cow.[(triple9)] The squirrel likes the tiger.[(triple10)] The squirrel visits the cow.[(triple11)] The tiger does not eat the squirrel.[(triple12)]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple2
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple5
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple6
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple7
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple8
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple9
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple10
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple11
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
triple12