The bald eagle sees the squirrel. The cat sees the squirrel. The squirrel chases the cat. If the bald eagle chases the cat and the cat does not see the bald eagle then the cat does not chase the squirrel. If the bald eagle sees the squirrel then the squirrel sees the bald eagle.
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
If the bald eagle chases the cat and the cat does not see the bald eagle then the cat does not chase the squirrel.
((("bald eagle" "chases" "cat" "+") ("cat" "sees" "bald eagle" "~")) -> ("cat" "chases" "squirrel" "-"))
If the bald eagle sees the squirrel then the squirrel sees the bald eagle.
((("bald eagle" "sees" "squirrel" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
The bald eagle sees the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "sees" "squirrel" "+")
triple1
The squirrel does not chase the cat.
False
1
inv-proof
[(triple3)]
("squirrel" "chases" "cat" "-")
triple3
The squirrel sees the bald eagle.
True
2
proof
[(((triple1) -> rule2))]
("squirrel" "sees" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The squirrel does not see the bald eagle.
False
2
inv-proof
[(((triple1) -> rule2))]
("squirrel" "sees" "bald eagle" "-")
((triple1) -> (rule2 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The bald eagle sees the squirrel.[(triple1)] The cat sees the squirrel.[(triple2)] The squirrel chases the cat.[(triple3)] @1: The squirrel sees the bald eagle.[(((triple1) -> rule2))]
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple1
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1