The bald eagle chases the cat. The bald eagle is kind. The bald eagle sees the dog. The cat is blue. The cat sees the squirrel. The cat visits the squirrel. The dog chases the bald eagle. The dog sees the cat. The dog visits the cat. The squirrel chases the bald eagle. The squirrel chases the cat. The squirrel chases the dog. The squirrel sees the bald eagle. The squirrel sees the dog. The squirrel visits the dog. If someone is blue and they see the bald eagle then they are cold. If someone is green then they chase the bald eagle. If the dog chases the squirrel and the squirrel sees the dog then the squirrel sees the cat. If someone is green and they visit the cat then the cat sees the squirrel. If someone is blue then they chase the squirrel. If someone is cold and they chase the cat then they are green. If someone sees the cat and they are kind then the cat sees the bald eagle. If someone sees the dog and the dog sees the squirrel then the squirrel sees the dog.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone is blue and they see the bald eagle then they are cold.
((("someone" "is" "blue" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "cold" "+"))
If someone is green then they chase the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "chases" "bald eagle" "+"))
If the dog chases the squirrel and the squirrel sees the dog then the squirrel sees the cat.
((("dog" "chases" "squirrel" "+") ("squirrel" "sees" "dog" "+")) -> ("squirrel" "sees" "cat" "+"))
If someone is green and they visit the cat then the cat sees the squirrel.
((("someone" "is" "green" "+") ("someone" "visits" "cat" "+")) -> ("cat" "sees" "squirrel" "+"))
If someone is blue then they chase the squirrel.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone is cold and they chase the cat then they are green.
((("someone" "is" "cold" "+") ("someone" "chases" "cat" "+")) -> ("someone" "is" "green" "+"))
If someone sees the cat and they are kind then the cat sees the bald eagle.
((("someone" "sees" "cat" "+") ("someone" "is" "kind" "+")) -> ("cat" "sees" "bald eagle" "+"))
If someone sees the dog and the dog sees the squirrel then the squirrel sees the dog.
((("someone" "sees" "dog" "+") ("dog" "sees" "squirrel" "+")) -> ("squirrel" "sees" "dog" "+"))
The squirrel sees the bald eagle.
True
1
proof
[(triple13)]
("squirrel" "sees" "bald eagle" "+")
triple13
The squirrel does not chase the dog.
False
1
inv-proof
[(triple12)]
("squirrel" "chases" "dog" "-")
triple12
The squirrel does not see the cat.
Unknown
inv-rconc
[@2: The squirrel sees the cat.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("squirrel" "sees" "cat" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle sees the dog.[(triple3)] The cat is blue.[(triple4)] The cat sees the squirrel.[(triple5)] The cat visits the squirrel.[(triple6)] The dog chases the bald eagle.[(triple7)] The dog sees the cat.[(triple8)] The dog visits the cat.[(triple9)] The squirrel chases the bald eagle.[(triple10)] The squirrel chases the cat.[(triple11)] The squirrel chases the dog.[(triple12)] The squirrel sees the bald eagle.[(triple13)] The squirrel sees the dog.[(triple14)] The squirrel visits the dog.[(triple15)] @1: The cat chases the squirrel.[(((triple4) -> rule5))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple3
The cat is blue.
("cat" "is" "blue" "+")
triple4
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple5
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple6
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple7
The dog sees the cat.
("dog" "sees" "cat" "+")
triple8
The dog visits the cat.
("dog" "visits" "cat" "+")
triple9
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple10
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple11
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple12
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple13
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple14
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple15
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
((triple4) -> (rule5 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1