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