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