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