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