The dog eats the squirrel. The dog is red. The dog likes the squirrel. The dog likes the tiger. The dog needs the squirrel. The squirrel eats the dog. The squirrel eats the tiger. The squirrel is big. The squirrel is blue. The squirrel is nice. The squirrel needs the dog. The tiger eats the squirrel. The tiger is nice. The tiger likes the dog. The tiger needs the dog. If someone eats the dog then they like the tiger. If someone likes the dog and the dog is rough then the dog is nice. If someone eats the dog then they need the squirrel.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
If someone eats the dog then they like the tiger.
((("someone" "eats" "dog" "+")) -> ("someone" "likes" "tiger" "+"))
If someone likes the dog and the dog is rough then the dog is nice.
((("someone" "likes" "dog" "+") ("dog" "is" "rough" "+")) -> ("dog" "is" "nice" "+"))
If someone eats the dog then they need the squirrel.
((("someone" "eats" "dog" "+")) -> ("someone" "needs" "squirrel" "+"))
The squirrel eats the tiger.
True
1
proof
[(triple7)]
("squirrel" "eats" "tiger" "+")
triple7
The tiger does not eat the squirrel.
False
1
inv-proof
[(triple12)]
("tiger" "eats" "squirrel" "-")
triple12
The squirrel likes the tiger.
True
2
proof
[(((triple6) -> rule1))]
("squirrel" "likes" "tiger" "+")
((triple6) -> (rule1 % int1))
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int1
The squirrel does not need the squirrel.
False
2
inv-proof
[(((triple6) -> rule3))]
("squirrel" "needs" "squirrel" "-")
((triple6) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "nice" "-")
The tiger needs the squirrel.
Unknown
rconc
[@1: The tiger needs the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "needs" "squirrel" "+")
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
@0: The dog eats the squirrel.[(triple1)] The dog is red.[(triple2)] The dog likes the squirrel.[(triple3)] The dog likes the tiger.[(triple4)] The dog needs the squirrel.[(triple5)] The squirrel eats the dog.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel is big.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is nice.[(triple10)] The squirrel needs the dog.[(triple11)] The tiger eats the squirrel.[(triple12)] The tiger is nice.[(triple13)] The tiger likes the dog.[(triple14)] The tiger needs the dog.[(triple15)] @1: The squirrel likes the tiger.[(((triple6) -> rule1))] The squirrel needs the squirrel.[(((triple6) -> rule3))]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
triple2
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple3
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple4
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple5
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple6
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple10
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple11
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple14
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple15
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
((triple6) -> (rule1 % int1))
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple6) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1