The bald eagle eats the cat. The bald eagle eats the squirrel. The bald eagle is blue. The bald eagle is kind. The bald eagle is young. The bald eagle likes the squirrel. The bald eagle needs the cat. The cat eats the bald eagle. The cat eats the squirrel. The cat is green. The cat likes the squirrel. The squirrel eats the cat. The squirrel is kind. The squirrel is rough. The squirrel is young. If something needs the cat then it likes the cat. If something is blue and green then it eats the bald eagle. If something is young and rough then it is blue.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is green.
("cat" "is" "green" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If something needs the cat then it likes the cat.
((("something" "needs" "cat" "+")) -> ("something" "likes" "cat" "+"))
If something is blue and green then it eats the bald eagle.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "eats" "bald eagle" "+"))
If something is young and rough then it is blue.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
The bald eagle eats the cat.
True
1
proof
[(triple1)]
("bald eagle" "eats" "cat" "+")
triple1
The cat is not green.
False
1
inv-proof
[(triple10)]
("cat" "is" "green" "-")
triple10
The bald eagle likes the cat.
True
2
proof
[(((triple7) -> rule1))]
("bald eagle" "likes" "cat" "+")
((triple7) -> (rule1 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The squirrel is not blue.
False
3
inv-proof
[(((triple15 triple14) -> rule3))]
("squirrel" "is" "blue" "-")
((triple15 triple14) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The cat is not blue.
Unknown
inv-rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "blue" "-")
The cat likes the cat.
Unknown
rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "cat" "+")
The cat is not rough.
Unknown
inv-random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "-")
The bald eagle needs the squirrel.
Unknown
random
[@0: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "squirrel" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle likes the squirrel.[(triple6)] The bald eagle needs the cat.[(triple7)] The cat eats the bald eagle.[(triple8)] The cat eats the squirrel.[(triple9)] The cat is green.[(triple10)] The cat likes the squirrel.[(triple11)] The squirrel eats the cat.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is rough.[(triple14)] The squirrel is young.[(triple15)] @1: The bald eagle likes the cat.[(((triple7) -> rule1))] The squirrel is blue.[(((triple15 triple14) -> rule3))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple4
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple6
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple7
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple8
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple9
The cat is green.
("cat" "is" "green" "+")
triple10
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple11
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple14
The squirrel is young.
("squirrel" "is" "young" "+")
triple15
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
((triple7) -> (rule1 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple15 triple14) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1