The cat eats the dog. The cat likes the squirrel. The dog eats the cat. The lion is big. The lion is young. The lion likes the dog. The squirrel eats the cat. The squirrel is green. The squirrel is red. The squirrel is young. If someone likes the lion then they eat the cat.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If someone likes the lion then they eat the cat.
((("someone" "likes" "lion" "+")) -> ("someone" "eats" "cat" "+"))
The dog eats the cat.
True
1
proof
[(triple3)]
("dog" "eats" "cat" "+")
triple3
The cat does not like the squirrel.
False
1
inv-proof
[(triple2)]
("cat" "likes" "squirrel" "-")
triple2
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "cat" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The cat eats the dog.[(triple1)] The cat likes the squirrel.[(triple2)] The dog eats the cat.[(triple3)] The lion is big.[(triple4)] The lion is young.[(triple5)] The lion likes the dog.[(triple6)] The squirrel eats the cat.[(triple7)] The squirrel is green.[(triple8)] The squirrel is red.[(triple9)] The squirrel is young.[(triple10)]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple2
The dog eats the cat.
("dog" "eats" "cat" "+")
triple3
The lion is big.
("lion" "is" "big" "+")
triple4
The lion is young.
("lion" "is" "young" "+")
triple5
The lion likes the dog.
("lion" "likes" "dog" "+")
triple6
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple7
The squirrel is green.
("squirrel" "is" "green" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel is young.
("squirrel" "is" "young" "+")
triple10