The bald eagle chases the squirrel. The bald eagle is green. The rabbit chases the squirrel. The rabbit sees the squirrel. The squirrel is green. The squirrel needs the rabbit. The squirrel sees the bald eagle. If someone is green and they see the rabbit then the rabbit does not see the squirrel. If someone needs the rabbit then the rabbit does not see the bald eagle. If someone sees the bald eagle then they see the squirrel.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If someone is green and they see the rabbit then the rabbit does not see the squirrel.
((("someone" "is" "green" "+") ("someone" "sees" "rabbit" "+")) -> ("rabbit" "sees" "squirrel" "-"))
If someone needs the rabbit then the rabbit does not see the bald eagle.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "-"))
If someone sees the bald eagle then they see the squirrel.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "sees" "squirrel" "+"))
The squirrel needs the rabbit.
True
1
proof
[(triple6)]
("squirrel" "needs" "rabbit" "+")
triple6
The squirrel does not need the rabbit.
False
1
inv-proof
[(triple6)]
("squirrel" "needs" "rabbit" "-")
triple6
The bald eagle does not see the squirrel.
Unknown
inv-rconc
[@1: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "sees" "squirrel" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is green.[(triple2)] The rabbit chases the squirrel.[(triple3)] The rabbit sees the squirrel.[(triple4)] The squirrel is green.[(triple5)] The squirrel needs the rabbit.[(triple6)] The squirrel sees the bald eagle.[(triple7)] @1: The rabbit does not see the bald eagle.[(((triple6) -> rule2))] The squirrel sees the squirrel.[(((triple7) -> rule3))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple3
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple4
The squirrel is green.
("squirrel" "is" "green" "+")
triple5
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple6
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple7
The rabbit does not see the bald eagle.
("rabbit" "sees" "bald eagle" "-")
((triple6) -> (rule2 % int1))
The rabbit does not see the bald eagle.
("rabbit" "sees" "bald eagle" "-")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple7) -> (rule3 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1