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