The bald eagle visits the squirrel. The cat chases the bald eagle. The cat does not eat the dog. The dog eats the squirrel. The dog is kind. The dog visits the bald eagle. The dog visits the cat. The squirrel is cold. The squirrel is green. The squirrel is rough. If someone visits the cat then they do not eat the dog. If someone is green then they eat the squirrel.
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat does not eat the dog.
("cat" "eats" "dog" "-")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If someone visits the cat then they do not eat the dog.
((("someone" "visits" "cat" "+")) -> ("someone" "eats" "dog" "-"))
If someone is green then they eat the squirrel.
((("someone" "is" "green" "+")) -> ("someone" "eats" "squirrel" "+"))
The dog eats the squirrel.
True
1
proof
[(triple4)]
("dog" "eats" "squirrel" "+")
triple4
The dog does not visit the cat.
False
1
inv-proof
[(triple7)]
("dog" "visits" "cat" "-")
triple7
The dog does not eat the dog.
True
2
proof
[(((triple7) -> rule1))]
("dog" "eats" "dog" "-")
((triple7) -> (rule1 % int1))
The dog does not eat the dog.
("dog" "eats" "dog" "-")
int1
The squirrel does not eat the squirrel.
False
2
inv-proof
[(((triple9) -> rule2))]
("squirrel" "eats" "squirrel" "-")
((triple9) -> (rule2 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The bald eagle does not eat the squirrel.
Unknown
inv-rconc
[@1: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "squirrel" "-")
The cat eats the squirrel.
Unknown
rconc
[@1: The cat eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "squirrel" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The cat chases the dog.
Unknown
random
[@0: The cat chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "dog" "+")
@0: The bald eagle visits the squirrel.[(triple1)] The cat chases the bald eagle.[(triple2)] The cat does not eat the dog.[(triple3)] The dog eats the squirrel.[(triple4)] The dog is kind.[(triple5)] The dog visits the bald eagle.[(triple6)] The dog visits the cat.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is green.[(triple9)] The squirrel is rough.[(triple10)] @1: The dog does not eat the dog.[(((triple7) -> rule1))] The squirrel eats the squirrel.[(((triple9) -> rule2))]
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple2
The cat does not eat the dog.
("cat" "eats" "dog" "-")
triple3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple6
The dog visits the cat.
("dog" "visits" "cat" "+")
triple7
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple8
The squirrel is green.
("squirrel" "is" "green" "+")
triple9
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple10
The dog does not eat the dog.
("dog" "eats" "dog" "-")
((triple7) -> (rule1 % int1))
The dog does not eat the dog.
("dog" "eats" "dog" "-")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple9) -> (rule2 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1