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