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