The bear eats the lion. The bear is blue. The bear is rough. The bear is round. The bear does not like the lion. The bear does not like the squirrel. The bear needs the lion. The lion eats the squirrel. The lion is nice. The lion is red. The lion is not rough. The lion likes the bear. The lion likes the squirrel. The squirrel is not blue. The squirrel is red. The squirrel needs the lion. If something eats the lion then it does not eat the squirrel. If the squirrel needs the lion then the squirrel eats the lion. If something needs the bear and it is not nice then the bear likes the squirrel.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear does not like the lion.
("bear" "likes" "lion" "-")
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
The bear needs the lion.
("bear" "needs" "lion" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is not rough.
("lion" "is" "rough" "-")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If something eats the lion then it does not eat the squirrel.
((("something" "eats" "lion" "+")) -> ("something" "eats" "squirrel" "-"))
If the squirrel needs the lion then the squirrel eats the lion.
((("squirrel" "needs" "lion" "+")) -> ("squirrel" "eats" "lion" "+"))
If something needs the bear and it is not nice then the bear likes the squirrel.
((("something" "needs" "bear" "+") ("something" "is" "nice" "~")) -> ("bear" "likes" "squirrel" "+"))
The lion likes the squirrel.
True
1
proof
[(triple13)]
("lion" "likes" "squirrel" "+")
triple13
The bear is not round.
False
1
inv-proof
[(triple4)]
("bear" "is" "round" "-")
triple4
The squirrel eats the lion.
True
2
proof
[(((triple16) -> rule2))]
("squirrel" "eats" "lion" "+")
((triple16) -> (rule2 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
The bear eats the squirrel.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "eats" "squirrel" "+")
((triple1) -> (rule1 % int1))
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
int1
The squirrel does not eat the squirrel.
True
3
proof
[(((((triple16) -> rule2)) -> rule1))]
("squirrel" "eats" "squirrel" "-")
((((triple16) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel does not eat the squirrel.
("squirrel" "eats" "squirrel" "-")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int2
The squirrel eats the squirrel.
False
3
inv-proof
[(((((triple16) -> rule2)) -> rule1))]
("squirrel" "eats" "squirrel" "+")
((((triple16) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel does not eat the squirrel.
("squirrel" "eats" "squirrel" "-")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int2
The lion does not need the bear.
Unknown
inv-random
[@0: The lion needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bear" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The squirrel does not eat the bear.
Unknown
inv-random
[@0: The squirrel eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bear" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bear does not like the lion.[(triple5)] The bear does not like the squirrel.[(triple6)] The bear eats the lion.[(triple1)] The bear is blue.[(triple2)] The bear is rough.[(triple3)] The bear is round.[(triple4)] The bear needs the lion.[(triple7)] The lion eats the squirrel.[(triple8)] The lion is nice.[(triple9)] The lion is not rough.[(triple11)] The lion is red.[(triple10)] The lion likes the bear.[(triple12)] The lion likes the squirrel.[(triple13)] The squirrel is not blue.[(triple14)] The squirrel is red.[(triple15)] The squirrel needs the lion.[(triple16)] @1: The bear does not eat the squirrel.[(((triple1) -> rule1))] The squirrel eats the lion.[(((triple16) -> rule2))] @2: The squirrel does not eat the squirrel.[(((((triple16) -> rule2)) -> rule1))]
The bear does not like the lion.
("bear" "likes" "lion" "-")
triple5
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
triple6
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear needs the lion.
("bear" "needs" "lion" "+")
triple7
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple8
The lion is nice.
("lion" "is" "nice" "+")
triple9
The lion is not rough.
("lion" "is" "rough" "-")
triple11
The lion is red.
("lion" "is" "red" "+")
triple10
The lion likes the bear.
("lion" "likes" "bear" "+")
triple12
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple13
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple14
The squirrel is red.
("squirrel" "is" "red" "+")
triple15
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple16
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
((triple1) -> (rule1 % int1))
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
((triple16) -> (rule2 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
The squirrel does not eat the squirrel.
("squirrel" "eats" "squirrel" "-")
((((triple16) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel does not eat the squirrel.
("squirrel" "eats" "squirrel" "-")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int2