The cat chases the squirrel. The cat eats the squirrel. The dog eats the cat. The rabbit sees the dog. The squirrel eats the dog. The squirrel sees the cat. The squirrel sees the dog. If someone is red and they see the squirrel then the squirrel eats the cat. If someone sees the rabbit then the rabbit is green.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If someone is red and they see the squirrel then the squirrel eats the cat.
((("someone" "is" "red" "+") ("someone" "sees" "squirrel" "+")) -> ("squirrel" "eats" "cat" "+"))
If someone sees the rabbit then the rabbit is green.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "is" "green" "+"))
The rabbit sees the dog.
True
1
proof
[(triple4)]
("rabbit" "sees" "dog" "+")
triple4
The squirrel does not see the dog.
False
1
inv-proof
[(triple7)]
("squirrel" "sees" "dog" "-")
triple7
The squirrel does not eat the cat.
Unknown
inv-rconc
[@1: The squirrel eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "eats" "cat" "-")
The squirrel chases the dog.
Unknown
random
[@0: The squirrel chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "dog" "+")
@0: The cat chases the squirrel.[(triple1)] The cat eats the squirrel.[(triple2)] The dog eats the cat.[(triple3)] The rabbit sees the dog.[(triple4)] The squirrel eats the dog.[(triple5)] The squirrel sees the cat.[(triple6)] The squirrel sees the dog.[(triple7)]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple2
The dog eats the cat.
("dog" "eats" "cat" "+")
triple3
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple4
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple5
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple6
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple7