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