The bald eagle needs the lion. The lion needs the mouse. The mouse is green. The squirrel needs the bald eagle. If someone needs the mouse then they are young. If someone needs the lion and the lion likes the mouse then they are young.
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse is green.
("mouse" "is" "green" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If someone needs the mouse then they are young.
((("someone" "needs" "mouse" "+")) -> ("someone" "is" "young" "+"))
If someone needs the lion and the lion likes the mouse then they are young.
((("someone" "needs" "lion" "+") ("lion" "likes" "mouse" "+")) -> ("someone" "is" "young" "+"))
The bald eagle needs the lion.
True
1
proof
[(triple1)]
("bald eagle" "needs" "lion" "+")
triple1
The mouse is not green.
False
1
inv-proof
[(triple3)]
("mouse" "is" "green" "-")
triple3
The lion is young.
True
2
proof
[(((triple2) -> rule1))]
("lion" "is" "young" "+")
((triple2) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is not young.
False
2
inv-proof
[(((triple2) -> rule1))]
("lion" "is" "young" "-")
((triple2) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "young" "-")
The mouse is young.
Unknown
rconc
[@1: The mouse is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "young" "+")
The mouse does not chase the squirrel.
Unknown
inv-random
[@0: The mouse chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "squirrel" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle needs the lion.[(triple1)] The lion needs the mouse.[(triple2)] The mouse is green.[(triple3)] The squirrel needs the bald eagle.[(triple4)] @1: The lion is young.[(((triple2) -> rule1))]
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple2
The mouse is green.
("mouse" "is" "green" "+")
triple3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple4
The lion is young.
("lion" "is" "young" "+")
((triple2) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1