The bear is not green. The bear is kind. The bear does not like the dog. The bear likes the squirrel. The bear needs the dog. The bear does not need the squirrel. The dog is blue. The dog is kind. The dog likes the lion. The dog likes the squirrel. The dog does not need the lion. The lion likes the bear. The lion likes the squirrel. The lion does not need the bear. The squirrel does not like the dog. The squirrel does not need the bear. If someone eats the squirrel and they like the squirrel then they eat the dog. If someone needs the lion and they eat the squirrel then they need the bear. If someone needs the lion and they are not blue then they like the bear. If someone needs the dog then the dog eats the lion. If someone is rough and they like the dog then they are not cold. If someone needs the dog and the dog eats the lion then they eat the squirrel.
The bear is not green.
("bear" "is" "green" "-")
The bear is kind.
("bear" "is" "kind" "+")
The bear does not like the dog.
("bear" "likes" "dog" "-")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear does not need the squirrel.
("bear" "needs" "squirrel" "-")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog does not need the lion.
("dog" "needs" "lion" "-")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion does not need the bear.
("lion" "needs" "bear" "-")
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
If someone eats the squirrel and they like the squirrel then they eat the dog.
((("someone" "eats" "squirrel" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "eats" "dog" "+"))
If someone needs the lion and they eat the squirrel then they need the bear.
((("someone" "needs" "lion" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "needs" "bear" "+"))
If someone needs the lion and they are not blue then they like the bear.
((("someone" "needs" "lion" "+") ("someone" "is" "blue" "~")) -> ("someone" "likes" "bear" "+"))
If someone needs the dog then the dog eats the lion.
((("someone" "needs" "dog" "+")) -> ("dog" "eats" "lion" "+"))
If someone is rough and they like the dog then they are not cold.
((("someone" "is" "rough" "+") ("someone" "likes" "dog" "+")) -> ("someone" "is" "cold" "-"))
If someone needs the dog and the dog eats the lion then they eat the squirrel.
((("someone" "needs" "dog" "+") ("dog" "eats" "lion" "+")) -> ("someone" "eats" "squirrel" "+"))
The lion likes the bear.
True
1
proof
[(triple12)]
("lion" "likes" "bear" "+")
triple12
The dog does not like the squirrel.
False
1
inv-proof
[(triple10)]
("dog" "likes" "squirrel" "-")
triple10
The dog eats the lion.
True
2
proof
[(((triple5) -> rule4))]
("dog" "eats" "lion" "+")
((triple5) -> (rule4 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The dog does not eat the lion.
False
2
inv-proof
[(((triple5) -> rule4))]
("dog" "eats" "lion" "-")
((triple5) -> (rule4 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The bear eats the squirrel.
True
4
proof
[(((triple5 ((triple5) -> rule4)) -> rule6))]
("bear" "eats" "squirrel" "+")
((triple5 ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The bear does not eat the squirrel.
False
4
inv-proof
[(((triple5 ((triple5) -> rule4)) -> rule6))]
("bear" "eats" "squirrel" "-")
((triple5 ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The bear eats the dog.
True
6
proof
[(((((triple5 ((triple5) -> rule4)) -> rule6) triple4) -> rule1))]
("bear" "eats" "dog" "+")
((((triple5 ((triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
The dog eats the lion.
("dog" "eats" "lion" "+")
int3
The bear does not eat the dog.
False
6
inv-proof
[(((((triple5 ((triple5) -> rule4)) -> rule6) triple4) -> rule1))]
("bear" "eats" "dog" "-")
((((triple5 ((triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
The dog eats the lion.
("dog" "eats" "lion" "+")
int3
The bear does not need the bear.
Unknown
inv-rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "needs" "bear" "-")
The dog eats the dog.
Unknown
rconc
[@2: The dog eats the dog.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("dog" "eats" "dog" "+")
The squirrel does not like the bear.
Unknown
inv-rconc
[@1: The squirrel likes the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "likes" "bear" "-")
The bear likes the bear.
Unknown
rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "likes" "bear" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
The squirrel does not need the lion.
Unknown
inv-random
[@0: The squirrel needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "lion" "-")
The squirrel needs the dog.
Unknown
random
[@0: The squirrel needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "dog" "+")
@0: The bear does not like the dog.[(triple3)] The bear does not need the squirrel.[(triple6)] The bear is kind.[(triple2)] The bear is not green.[(triple1)] The bear likes the squirrel.[(triple4)] The bear needs the dog.[(triple5)] The dog does not need the lion.[(triple11)] The dog is blue.[(triple7)] The dog is kind.[(triple8)] The dog likes the lion.[(triple9)] The dog likes the squirrel.[(triple10)] The lion does not need the bear.[(triple14)] The lion likes the bear.[(triple12)] The lion likes the squirrel.[(triple13)] The squirrel does not like the dog.[(triple15)] The squirrel does not need the bear.[(triple16)] @1: The dog eats the lion.[(((triple5) -> rule4))] @2: The bear eats the squirrel.[(((triple5 ((triple5) -> rule4)) -> rule6))] @3: The bear eats the dog.[(((((triple5 ((triple5) -> rule4)) -> rule6) triple4) -> rule1))]
The bear does not like the dog.
("bear" "likes" "dog" "-")
triple3
The bear does not need the squirrel.
("bear" "needs" "squirrel" "-")
triple6
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is not green.
("bear" "is" "green" "-")
triple1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple4
The bear needs the dog.
("bear" "needs" "dog" "+")
triple5
The dog does not need the lion.
("dog" "needs" "lion" "-")
triple11
The dog is blue.
("dog" "is" "blue" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple8
The dog likes the lion.
("dog" "likes" "lion" "+")
triple9
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple10
The lion does not need the bear.
("lion" "needs" "bear" "-")
triple14
The lion likes the bear.
("lion" "likes" "bear" "+")
triple12
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple13
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
triple15
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
triple16
The dog eats the lion.
("dog" "eats" "lion" "+")
((triple5) -> (rule4 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
((triple5 ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The bear eats the dog.
("bear" "eats" "dog" "+")
((((triple5 ((triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
The dog eats the lion.
("dog" "eats" "lion" "+")
int3