The dog is kind. The dog is young. The dog likes the tiger. The dog needs the tiger. The squirrel likes the dog. The squirrel likes the tiger. The squirrel needs the tiger. The tiger is red. The tiger likes the squirrel. The tiger needs the squirrel. If someone eats the tiger and the tiger likes the squirrel then the squirrel eats the tiger. If someone is kind and nice then they eat the dog.
The dog is kind.
("dog" "is" "kind" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone eats the tiger and the tiger likes the squirrel then the squirrel eats the tiger.
((("someone" "eats" "tiger" "+") ("tiger" "likes" "squirrel" "+")) -> ("squirrel" "eats" "tiger" "+"))
If someone is kind and nice then they eat the dog.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "eats" "dog" "+"))
The tiger is red.
True
1
proof
[(triple8)]
("tiger" "is" "red" "+")
triple8
The dog does not need the tiger.
False
1
inv-proof
[(triple4)]
("dog" "needs" "tiger" "-")
triple4
The squirrel does not eat the dog.
Unknown
inv-rconc
[@1: The squirrel eats the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "dog" "-")
The dog needs the squirrel.
Unknown
random
[@0: The dog needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "squirrel" "+")
@0: The dog is kind.[(triple1)] The dog is young.[(triple2)] The dog likes the tiger.[(triple3)] The dog needs the tiger.[(triple4)] The squirrel likes the dog.[(triple5)] The squirrel likes the tiger.[(triple6)] The squirrel needs the tiger.[(triple7)] The tiger is red.[(triple8)] The tiger likes the squirrel.[(triple9)] The tiger needs the squirrel.[(triple10)]
The dog is kind.
("dog" "is" "kind" "+")
triple1
The dog is young.
("dog" "is" "young" "+")
triple2
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple3
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple4
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple5
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple6
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple7
The tiger is red.
("tiger" "is" "red" "+")
triple8
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple9
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple10