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