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