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