The bald eagle eats the mouse. The mouse needs the bald eagle. The rabbit sees the mouse. If the bald eagle sees the mouse and the mouse eats the rabbit then the mouse sees the bald eagle.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If the bald eagle sees the mouse and the mouse eats the rabbit then the mouse sees the bald eagle.
((("bald eagle" "sees" "mouse" "+") ("mouse" "eats" "rabbit" "+")) -> ("mouse" "sees" "bald eagle" "+"))
The bald eagle eats the mouse.
True
1
proof
[(triple1)]
("bald eagle" "eats" "mouse" "+")
triple1
The rabbit does not see the mouse.
False
1
inv-proof
[(triple3)]
("rabbit" "sees" "mouse" "-")
triple3
The mouse does not see the bald eagle.
Unknown
inv-rconc
[@1: The mouse sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "sees" "bald eagle" "-")
The bald eagle eats the rabbit.
Unknown
random
[@0: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "rabbit" "+")
@0: The bald eagle eats the mouse.[(triple1)] The mouse needs the bald eagle.[(triple2)] The rabbit sees the mouse.[(triple3)]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple2
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple3