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