The bald eagle does not eat the dog. The bald eagle is green. The dog chases the squirrel. The dog visits the bald eagle. The squirrel chases the bald eagle. The squirrel eats the bald eagle. The squirrel is green. If something chases the squirrel and the squirrel chases the bald eagle then it does not chase the dog. If something visits the squirrel and it chases the squirrel then the squirrel does not visit the dog. If the dog chases the squirrel then the dog visits the squirrel.
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
If something chases the squirrel and the squirrel chases the bald eagle then it does not chase the dog.
((("something" "chases" "squirrel" "+") ("squirrel" "chases" "bald eagle" "+")) -> ("something" "chases" "dog" "-"))
If something visits the squirrel and it chases the squirrel then the squirrel does not visit the dog.
((("something" "visits" "squirrel" "+") ("something" "chases" "squirrel" "+")) -> ("squirrel" "visits" "dog" "-"))
If the dog chases the squirrel then the dog visits the squirrel.
((("dog" "chases" "squirrel" "+")) -> ("dog" "visits" "squirrel" "+"))
The squirrel is green.
True
1
proof
[(triple7)]
("squirrel" "is" "green" "+")
triple7
The squirrel is not green.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "green" "-")
triple7
The dog does not chase the dog.
True
3
proof
[(((triple3 triple5) -> rule1))]
("dog" "chases" "dog" "-")
((triple3 triple5) -> (rule1 % int1))
The dog does not chase the dog.
("dog" "chases" "dog" "-")
int1
The dog chases the dog.
False
3
inv-proof
[(((triple3 triple5) -> rule1))]
("dog" "chases" "dog" "+")
((triple3 triple5) -> (rule1 % int1))
The dog does not chase the dog.
("dog" "chases" "dog" "-")
int1
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
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 does not eat the dog.[(triple1)] The bald eagle is green.[(triple2)] The dog chases the squirrel.[(triple3)] The dog visits the bald eagle.[(triple4)] The squirrel chases the bald eagle.[(triple5)] The squirrel eats the bald eagle.[(triple6)] The squirrel is green.[(triple7)] @1: The dog does not chase the dog.[(((triple3 triple5) -> rule1))] The dog visits the squirrel.[(((triple3) -> rule3))] @2: The squirrel does not visit the dog.[(((((triple3) -> rule3) triple3) -> rule2))]
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple3
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple5
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple6
The squirrel is green.
("squirrel" "is" "green" "+")
triple7
The dog does not chase the dog.
("dog" "chases" "dog" "-")
((triple3 triple5) -> (rule1 % int1))
The dog does not chase the dog.
("dog" "chases" "dog" "-")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
((triple3) -> (rule3 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The squirrel does not visit the dog.
("squirrel" "visits" "dog" "-")
((((triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
The squirrel does not visit the dog.
("squirrel" "visits" "dog" "-")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int2