The bald eagle needs the mouse. The mouse needs the bald eagle. The mouse visits the bald eagle. If someone needs the mouse and they eat the bald eagle then the mouse eats the bald eagle. If someone needs the mouse then they eat the mouse.
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If someone needs the mouse and they eat the bald eagle then the mouse eats the bald eagle.
((("someone" "needs" "mouse" "+") ("someone" "eats" "bald eagle" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If someone needs the mouse then they eat the mouse.
((("someone" "needs" "mouse" "+")) -> ("someone" "eats" "mouse" "+"))
The mouse needs the bald eagle.
True
1
proof
[(triple2)]
("mouse" "needs" "bald eagle" "+")
triple2
The mouse does not need the bald eagle.
False
1
inv-proof
[(triple2)]
("mouse" "needs" "bald eagle" "-")
triple2
The bald eagle eats the mouse.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "eats" "mouse" "+")
((triple1) -> (rule2 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bald eagle does not eat the mouse.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "eats" "mouse" "-")
((triple1) -> (rule2 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The mouse does not eat the bald eagle.
Unknown
inv-rconc
[@1: The mouse eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "bald eagle" "-")
The mouse eats the mouse.
Unknown
rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "eats" "mouse" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle needs the mouse.[(triple1)] The mouse needs the bald eagle.[(triple2)] The mouse visits the bald eagle.[(triple3)] @1: The bald eagle eats the mouse.[(((triple1) -> rule2))]
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple3
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
((triple1) -> (rule2 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1