The bald eagle needs the squirrel. The rabbit visits the squirrel. The squirrel visits the bald eagle. If something eats the bald eagle then the bald eagle visits the squirrel. If something visits the bald eagle and it eats the rabbit then the rabbit visits the squirrel. If something visits the bald eagle and it does not need the bald eagle then the bald eagle does not visit the rabbit. If something visits the rabbit then it does not eat the bald eagle. If something is red and cold then it needs the rabbit. If something is red and it does not visit the squirrel then it is cold.
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If something eats the bald eagle then the bald eagle visits the squirrel.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
If something visits the bald eagle and it eats the rabbit then the rabbit visits the squirrel.
((("something" "visits" "bald eagle" "+") ("something" "eats" "rabbit" "+")) -> ("rabbit" "visits" "squirrel" "+"))
If something visits the bald eagle and it does not need the bald eagle then the bald eagle does not visit the rabbit.
((("something" "visits" "bald eagle" "+") ("something" "needs" "bald eagle" "~")) -> ("bald eagle" "visits" "rabbit" "-"))
If something visits the rabbit then it does not eat the bald eagle.
((("something" "visits" "rabbit" "+")) -> ("something" "eats" "bald eagle" "-"))
If something is red and cold then it needs the rabbit.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "needs" "rabbit" "+"))
If something is red and it does not visit the squirrel then it is cold.
((("something" "is" "red" "+") ("something" "visits" "squirrel" "~")) -> ("something" "is" "cold" "+"))
The squirrel visits the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "visits" "bald eagle" "+")
triple3
The bald eagle does not need the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "squirrel" "-")
triple1
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
@0: The bald eagle needs the squirrel.[(triple1)] The rabbit visits the squirrel.[(triple2)] The squirrel visits the bald eagle.[(triple3)]
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple3