The bald eagle is blue. The lion is green. The squirrel eats the bald eagle. If something eats the bald eagle and it chases the bald eagle then the bald eagle eats the lion. If something eats the squirrel and it eats the lion then the lion likes the squirrel. If something is rough then it chases the bald eagle. If something is blue and it chases the lion then it is rough. If something likes the bald eagle then it eats the lion. If the lion likes the bald eagle then the lion chases the squirrel. If something chases the lion and it is cold then the lion eats the squirrel. If something eats the bald eagle and it eats the lion then the bald eagle likes the lion.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The lion is green.
("lion" "is" "green" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
If something eats the bald eagle and it chases the bald eagle then the bald eagle eats the lion.
((("something" "eats" "bald eagle" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
If something eats the squirrel and it eats the lion then the lion likes the squirrel.
((("something" "eats" "squirrel" "+") ("something" "eats" "lion" "+")) -> ("lion" "likes" "squirrel" "+"))
If something is rough then it chases the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "chases" "bald eagle" "+"))
If something is blue and it chases the lion then it is rough.
((("something" "is" "blue" "+") ("something" "chases" "lion" "+")) -> ("something" "is" "rough" "+"))
If something likes the bald eagle then it eats the lion.
((("something" "likes" "bald eagle" "+")) -> ("something" "eats" "lion" "+"))
If the lion likes the bald eagle then the lion chases the squirrel.
((("lion" "likes" "bald eagle" "+")) -> ("lion" "chases" "squirrel" "+"))
If something chases the lion and it is cold then the lion eats the squirrel.
((("something" "chases" "lion" "+") ("something" "is" "cold" "+")) -> ("lion" "eats" "squirrel" "+"))
If something eats the bald eagle and it eats the lion then the bald eagle likes the lion.
((("something" "eats" "bald eagle" "+") ("something" "eats" "lion" "+")) -> ("bald eagle" "likes" "lion" "+"))
The lion is green.
True
1
proof
[(triple2)]
("lion" "is" "green" "+")
triple2
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The lion does not like the squirrel.
Unknown
inv-rconc
[@2: The lion likes the squirrel.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("lion" "likes" "squirrel" "-")
The bald eagle chases the lion.
Unknown
random
[@0: The bald eagle chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "lion" "+")
@0: The bald eagle is blue.[(triple1)] The lion is green.[(triple2)] The squirrel eats the bald eagle.[(triple3)]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The lion is green.
("lion" "is" "green" "+")
triple2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple3