The bear chases the squirrel. The bear is rough. The cow chases the tiger. The cow is nice. The squirrel chases the cow. The squirrel is red. The squirrel likes the cow. The tiger chases the cow. The tiger is rough. The tiger likes the squirrel. If someone chases the bear then they need the bear. If someone needs the tiger and they like the squirrel then the squirrel is nice. If someone is rough and they like the bear then the bear likes the squirrel. If the tiger needs the squirrel then the squirrel likes the tiger. If someone likes the tiger and they are young then they chase the tiger. If someone needs the cow then the cow likes the tiger. If the tiger is red and the tiger likes the squirrel then the tiger needs the bear. If someone likes the cow then they like the squirrel.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is rough.
("bear" "is" "rough" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is nice.
("cow" "is" "nice" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If someone chases the bear then they need the bear.
((("someone" "chases" "bear" "+")) -> ("someone" "needs" "bear" "+"))
If someone needs the tiger and they like the squirrel then the squirrel is nice.
((("someone" "needs" "tiger" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "nice" "+"))
If someone is rough and they like the bear then the bear likes the squirrel.
((("someone" "is" "rough" "+") ("someone" "likes" "bear" "+")) -> ("bear" "likes" "squirrel" "+"))
If the tiger needs the squirrel then the squirrel likes the tiger.
((("tiger" "needs" "squirrel" "+")) -> ("squirrel" "likes" "tiger" "+"))
If someone likes the tiger and they are young then they chase the tiger.
((("someone" "likes" "tiger" "+") ("someone" "is" "young" "+")) -> ("someone" "chases" "tiger" "+"))
If someone needs the cow then the cow likes the tiger.
((("someone" "needs" "cow" "+")) -> ("cow" "likes" "tiger" "+"))
If the tiger is red and the tiger likes the squirrel then the tiger needs the bear.
((("tiger" "is" "red" "+") ("tiger" "likes" "squirrel" "+")) -> ("tiger" "needs" "bear" "+"))
If someone likes the cow then they like the squirrel.
((("someone" "likes" "cow" "+")) -> ("someone" "likes" "squirrel" "+"))
The bear chases the squirrel.
True
1
proof
[(triple1)]
("bear" "chases" "squirrel" "+")
triple1
The cow does not chase the tiger.
False
1
inv-proof
[(triple3)]
("cow" "chases" "tiger" "-")
triple3
The squirrel likes the squirrel.
True
2
proof
[(((triple7) -> rule8))]
("squirrel" "likes" "squirrel" "+")
((triple7) -> (rule8 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel does not like the squirrel.
False
2
inv-proof
[(((triple7) -> rule8))]
("squirrel" "likes" "squirrel" "-")
((triple7) -> (rule8 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The bear does not chase the tiger.
Unknown
inv-rconc
[@1: The bear chases the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "chases" "tiger" "-")
The squirrel likes the tiger.
Unknown
rconc
[@1: The squirrel likes the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "likes" "tiger" "+")
The tiger is not young.
Unknown
inv-random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "-")
The squirrel chases the bear.
Unknown
random
[@0: The squirrel chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bear" "+")
@0: The bear chases the squirrel.[(triple1)] The bear is rough.[(triple2)] The cow chases the tiger.[(triple3)] The cow is nice.[(triple4)] The squirrel chases the cow.[(triple5)] The squirrel is red.[(triple6)] The squirrel likes the cow.[(triple7)] The tiger chases the cow.[(triple8)] The tiger is rough.[(triple9)] The tiger likes the squirrel.[(triple10)] @1: The squirrel likes the squirrel.[(((triple7) -> rule8))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple5
The squirrel is red.
("squirrel" "is" "red" "+")
triple6
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple7
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple8
The tiger is rough.
("tiger" "is" "rough" "+")
triple9
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple10
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple7) -> (rule8 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1