The bald eagle eats the cow. The bald eagle is blue. The bald eagle is green. The bald eagle is nice. The bald eagle visits the cow. The cow eats the lion. The cow is cold. The cow is green. The cow needs the lion. The lion eats the cow. If something eats the lion and it needs the cow then the cow needs the lion. If the lion visits the bald eagle and the lion eats the cow then the lion is blue. If something visits the bald eagle and the bald eagle visits the lion then the bald eagle needs the lion.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
If something eats the lion and it needs the cow then the cow needs the lion.
((("something" "eats" "lion" "+") ("something" "needs" "cow" "+")) -> ("cow" "needs" "lion" "+"))
If the lion visits the bald eagle and the lion eats the cow then the lion is blue.
((("lion" "visits" "bald eagle" "+") ("lion" "eats" "cow" "+")) -> ("lion" "is" "blue" "+"))
If something visits the bald eagle and the bald eagle visits the lion then the bald eagle needs the lion.
((("something" "visits" "bald eagle" "+") ("bald eagle" "visits" "lion" "+")) -> ("bald eagle" "needs" "lion" "+"))
The bald eagle is green.
True
1
proof
[(triple3)]
("bald eagle" "is" "green" "+")
triple3
The bald eagle is not nice.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "nice" "-")
triple4
The lion is not blue.
Unknown
inv-rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "blue" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle visits the cow.[(triple5)] The cow eats the lion.[(triple6)] The cow is cold.[(triple7)] The cow is green.[(triple8)] The cow needs the lion.[(triple9)] The lion eats the cow.[(triple10)]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple5
The cow eats the lion.
("cow" "eats" "lion" "+")
triple6
The cow is cold.
("cow" "is" "cold" "+")
triple7
The cow is green.
("cow" "is" "green" "+")
triple8
The cow needs the lion.
("cow" "needs" "lion" "+")
triple9
The lion eats the cow.
("lion" "eats" "cow" "+")
triple10