The bear needs the dog. The cat chases the dog. The cat eats the bear. The cat is blue. The cat is not red. The dog chases the cat. The dog is big. The dog needs the bear. The dog needs the cat. The squirrel eats the cat. The squirrel is green. The squirrel needs the bear. If someone chases the cat and they chase the bear then they chase the squirrel. If someone needs the squirrel and the squirrel is green then they do not eat the cat. If someone chases the cat then the cat eats the dog.
The bear needs the dog.
("bear" "needs" "dog" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is not red.
("cat" "is" "red" "-")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is big.
("dog" "is" "big" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If someone chases the cat and they chase the bear then they chase the squirrel.
((("someone" "chases" "cat" "+") ("someone" "chases" "bear" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone needs the squirrel and the squirrel is green then they do not eat the cat.
((("someone" "needs" "squirrel" "+") ("squirrel" "is" "green" "+")) -> ("someone" "eats" "cat" "-"))
If someone chases the cat then the cat eats the dog.
((("someone" "chases" "cat" "+")) -> ("cat" "eats" "dog" "+"))
The cat eats the bear.
True
1
proof
[(triple3)]
("cat" "eats" "bear" "+")
triple3
The cat is not blue.
False
1
inv-proof
[(triple4)]
("cat" "is" "blue" "-")
triple4
The cat eats the dog.
True
2
proof
[(((triple6) -> rule3))]
("cat" "eats" "dog" "+")
((triple6) -> (rule3 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat does not eat the dog.
False
2
inv-proof
[(((triple6) -> rule3))]
("cat" "eats" "dog" "-")
((triple6) -> (rule3 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The dog does not chase the squirrel.
Unknown
inv-rconc
[@1: The dog chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "squirrel" "-")
The cat chases the squirrel.
Unknown
rconc
[@1: The cat chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "chases" "squirrel" "+")
The cat does not eat the squirrel.
Unknown
inv-random
[@0: The cat eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "squirrel" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The bear needs the dog.[(triple1)] The cat chases the dog.[(triple2)] The cat eats the bear.[(triple3)] The cat is blue.[(triple4)] The cat is not red.[(triple5)] The dog chases the cat.[(triple6)] The dog is big.[(triple7)] The dog needs the bear.[(triple8)] The dog needs the cat.[(triple9)] The squirrel eats the cat.[(triple10)] The squirrel is green.[(triple11)] The squirrel needs the bear.[(triple12)] @1: The cat eats the dog.[(((triple6) -> rule3))]
The bear needs the dog.
("bear" "needs" "dog" "+")
triple1
The cat chases the dog.
("cat" "chases" "dog" "+")
triple2
The cat eats the bear.
("cat" "eats" "bear" "+")
triple3
The cat is blue.
("cat" "is" "blue" "+")
triple4
The cat is not red.
("cat" "is" "red" "-")
triple5
The dog chases the cat.
("dog" "chases" "cat" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple7
The dog needs the bear.
("dog" "needs" "bear" "+")
triple8
The dog needs the cat.
("dog" "needs" "cat" "+")
triple9
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple12
The cat eats the dog.
("cat" "eats" "dog" "+")
((triple6) -> (rule3 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1