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