The bald eagle does not chase the lion. The bald eagle chases the squirrel. The bald eagle is green. The bald eagle is not kind. The bald eagle does not like the lion. The bald eagle does not like the squirrel. The bald eagle needs the lion. The bald eagle needs the squirrel. The lion chases the squirrel. The lion likes the bald eagle. The lion needs the bald eagle. The squirrel does not chase the lion. The squirrel is kind. The squirrel likes the bald eagle. The squirrel needs the bald eagle. The squirrel needs the lion. If the bald eagle is kind then the bald eagle is green. If someone likes the bald eagle then the bald eagle is young. If someone chases the bald eagle then they are not kind. If the lion is not nice then the lion does not like the bald eagle. If someone is cold and young then they like the squirrel. If someone chases the bald eagle and the bald eagle does not like the squirrel then they chase the lion. If someone chases the lion and the lion needs the squirrel then they are green. If someone chases the lion and the lion is not green then the lion needs the bald eagle.
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle does not like the lion.
("bald eagle" "likes" "lion" "-")
The bald eagle does not like the squirrel.
("bald eagle" "likes" "squirrel" "-")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The squirrel does not chase the lion.
("squirrel" "chases" "lion" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If the bald eagle is kind then the bald eagle is green.
((("bald eagle" "is" "kind" "+")) -> ("bald eagle" "is" "green" "+"))
If someone likes the bald eagle then the bald eagle is young.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
If someone chases the bald eagle then they are not kind.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "kind" "-"))
If the lion is not nice then the lion does not like the bald eagle.
((("lion" "is" "nice" "~")) -> ("lion" "likes" "bald eagle" "-"))
If someone is cold and young then they like the squirrel.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone chases the bald eagle and the bald eagle does not like the squirrel then they chase the lion.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "likes" "squirrel" "~")) -> ("someone" "chases" "lion" "+"))
If someone chases the lion and the lion needs the squirrel then they are green.
((("someone" "chases" "lion" "+") ("lion" "needs" "squirrel" "+")) -> ("someone" "is" "green" "+"))
If someone chases the lion and the lion is not green then the lion needs the bald eagle.
((("someone" "chases" "lion" "+") ("lion" "is" "green" "~")) -> ("lion" "needs" "bald eagle" "+"))
The bald eagle is not kind.
True
1
proof
[(triple4)]
("bald eagle" "is" "kind" "-")
triple4
The bald eagle likes the lion.
False
1
inv-proof
[(triple5)]
("bald eagle" "likes" "lion" "+")
triple5
The bald eagle is young.
True
2
proof
[(((triple10) -> rule2) OR ((triple14) -> rule2))]
("bald eagle" "is" "young" "+")
((triple10) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
((triple14) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle is not young.
False
2
inv-proof
[(((triple10) -> rule2) OR ((triple14) -> rule2))]
("bald eagle" "is" "young" "-")
((triple10) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
((triple14) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "is" "green" "-")
The lion chases the lion.
Unknown
rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "chases" "lion" "+")
The lion does not chase the bald eagle.
Unknown
inv-random
[@0: The lion chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bald eagle" "-")
The squirrel chases the bald eagle.
Unknown
random
[@0: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bald eagle" "+")
@0: The bald eagle chases the squirrel.[(triple2)] The bald eagle does not chase the lion.[(triple1)] The bald eagle does not like the lion.[(triple5)] The bald eagle does not like the squirrel.[(triple6)] The bald eagle is green.[(triple3)] The bald eagle is not kind.[(triple4)] The bald eagle needs the lion.[(triple7)] The bald eagle needs the squirrel.[(triple8)] The lion chases the squirrel.[(triple9)] The lion likes the bald eagle.[(triple10)] The lion needs the bald eagle.[(triple11)] The squirrel does not chase the lion.[(triple12)] The squirrel is kind.[(triple13)] The squirrel likes the bald eagle.[(triple14)] The squirrel needs the bald eagle.[(triple15)] The squirrel needs the lion.[(triple16)] @1: The bald eagle is young.[(((triple10) -> rule2) OR ((triple14) -> rule2))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
triple1
The bald eagle does not like the lion.
("bald eagle" "likes" "lion" "-")
triple5
The bald eagle does not like the squirrel.
("bald eagle" "likes" "squirrel" "-")
triple6
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple4
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple7
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple8
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple9
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple10
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple11
The squirrel does not chase the lion.
("squirrel" "chases" "lion" "-")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple14
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple15
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple16
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple10) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
((triple14) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1