The bald eagle is green. The cat is blue. The squirrel chases the bald eagle. If the cat is blue then the cat likes the squirrel.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The cat is blue.
("cat" "is" "blue" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
If the cat is blue then the cat likes the squirrel.
((("cat" "is" "blue" "+")) -> ("cat" "likes" "squirrel" "+"))
The squirrel chases the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "chases" "bald eagle" "+")
triple3
The squirrel does not chase the bald eagle.
False
1
inv-proof
[(triple3)]
("squirrel" "chases" "bald eagle" "-")
triple3
The cat likes the squirrel.
True
2
proof
[(((triple2) -> rule1))]
("cat" "likes" "squirrel" "+")
((triple2) -> (rule1 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The cat does not like the squirrel.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "likes" "squirrel" "-")
((triple2) -> (rule1 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The cat does not chase the bald eagle.
Unknown
inv-random
[@0: The cat chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bald eagle" "-")
The bald eagle likes the cat.
Unknown
random
[@0: The bald eagle likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cat" "+")
The cat does not need the bald eagle.
Unknown
inv-random
[@0: The cat needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bald eagle" "-")
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 is green.[(triple1)] The cat is blue.[(triple2)] The squirrel chases the bald eagle.[(triple3)] @1: The cat likes the squirrel.[(((triple2) -> rule1))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
((triple2) -> (rule1 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1