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