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