The bald eagle needs the rabbit. The rabbit sees the squirrel. The squirrel needs the bald eagle. If something sees the squirrel and the squirrel is kind then the squirrel is nice. If something needs the rabbit then the rabbit needs the squirrel.
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If something sees the squirrel and the squirrel is kind then the squirrel is nice.
((("something" "sees" "squirrel" "+") ("squirrel" "is" "kind" "+")) -> ("squirrel" "is" "nice" "+"))
If something needs the rabbit then the rabbit needs the squirrel.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "needs" "squirrel" "+"))
The squirrel needs the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "needs" "bald eagle" "+")
triple3
The bald eagle does not need the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "rabbit" "-")
triple1
The rabbit needs the squirrel.
True
2
proof
[(((triple1) -> rule2))]
("rabbit" "needs" "squirrel" "+")
((triple1) -> (rule2 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The rabbit does not need the squirrel.
False
2
inv-proof
[(((triple1) -> rule2))]
("rabbit" "needs" "squirrel" "-")
((triple1) -> (rule2 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "nice" "-")
The rabbit likes the squirrel.
Unknown
random
[@0: The rabbit likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "squirrel" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The bald eagle needs the rabbit.[(triple1)] The rabbit sees the squirrel.[(triple2)] The squirrel needs the bald eagle.[(triple3)] @1: The rabbit needs the squirrel.[(((triple1) -> rule2))]
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple1
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple3
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
((triple1) -> (rule2 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1