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