The bald eagle is big. The bald eagle likes the lion. The bald eagle visits the squirrel. The bear is not cold. The bear likes the bald eagle. The bear needs the lion. The lion is young. The lion likes the bald eagle. The lion visits the squirrel. The squirrel is green. The squirrel needs the bear. The squirrel needs the lion. If something is cold and it likes the squirrel then it is not green. If something needs the squirrel then the squirrel visits the bald eagle. If something likes the squirrel and it visits the squirrel then the squirrel likes the bear.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The bear is not cold.
("bear" "is" "cold" "-")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If something is cold and it likes the squirrel then it is not green.
((("something" "is" "cold" "+") ("something" "likes" "squirrel" "+")) -> ("something" "is" "green" "-"))
If something needs the squirrel then the squirrel visits the bald eagle.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
If something likes the squirrel and it visits the squirrel then the squirrel likes the bear.
((("something" "likes" "squirrel" "+") ("something" "visits" "squirrel" "+")) -> ("squirrel" "likes" "bear" "+"))
The bald eagle visits the squirrel.
True
1
proof
[(triple3)]
("bald eagle" "visits" "squirrel" "+")
triple3
The squirrel does not need the bear.
False
1
inv-proof
[(triple11)]
("squirrel" "needs" "bear" "-")
triple11
The squirrel does not like the bear.
Unknown
inv-rconc
[@1: The squirrel likes the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "likes" "bear" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The bear is not cold.[(triple4)] The bear likes the bald eagle.[(triple5)] The bear needs the lion.[(triple6)] The lion is young.[(triple7)] The lion likes the bald eagle.[(triple8)] The lion visits the squirrel.[(triple9)] The squirrel is green.[(triple10)] The squirrel needs the bear.[(triple11)] The squirrel needs the lion.[(triple12)]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple3
The bear is not cold.
("bear" "is" "cold" "-")
triple4
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple5
The bear needs the lion.
("bear" "needs" "lion" "+")
triple6
The lion is young.
("lion" "is" "young" "+")
triple7
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple8
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple11
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple12