The bald eagle is blue. The bear sees the squirrel. The squirrel visits the bald eagle. If something is cold and it visits the squirrel then the squirrel is blue. If something is blue and it likes the bear then the bear is cold. If something likes the bear then the bear is blue.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If something is cold and it visits the squirrel then the squirrel is blue.
((("something" "is" "cold" "+") ("something" "visits" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
If something is blue and it likes the bear then the bear is cold.
((("something" "is" "blue" "+") ("something" "likes" "bear" "+")) -> ("bear" "is" "cold" "+"))
If something likes the bear then the bear is blue.
((("something" "likes" "bear" "+")) -> ("bear" "is" "blue" "+"))
The squirrel visits the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "visits" "bald eagle" "+")
triple3
The squirrel does not visit the bald eagle.
False
1
inv-proof
[(triple3)]
("squirrel" "visits" "bald eagle" "-")
triple3
The bear is not blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "blue" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
@0: The bald eagle is blue.[(triple1)] The bear sees the squirrel.[(triple2)] The squirrel visits the bald eagle.[(triple3)]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple3