The bear is blue. The bear is green. The bear likes the tiger. The bear needs the cow. The bear needs the lion. The cow is green. The cow is round. The cow likes the bear. The lion is round. The lion likes the bear. The lion visits the tiger. The tiger is big. The tiger likes the cow. The tiger needs the cow. The tiger visits the lion. If someone needs the bear and the bear likes the cow then they visit the bear. If someone likes the lion and they like the bear then the lion needs the bear. If someone visits the cow then they are blue. If the bear is green and the bear visits the tiger then the tiger is big. Round people are blue. If someone visits the cow and the cow likes the bear then they need the lion. If someone visits the bear then the bear likes the cow. If someone is green then they like the cow.
The lion does not need the bear.
@0: The bear is blue.[(triple1)] The bear is green.[(triple2)] The bear likes the tiger.[(triple3)] The bear needs the cow.[(triple4)] The bear needs the lion.[(triple5)] The cow is green.[(triple6)] The cow is round.[(triple7)] The cow likes the bear.[(triple8)] The lion is round.[(triple9)] The lion likes the bear.[(triple10)] The lion visits the tiger.[(triple11)] The tiger is big.[(triple12)] The tiger likes the cow.[(triple13)] The tiger needs the cow.[(triple14)] The tiger visits the lion.[(triple15)] @1: The bear likes the cow.[(((triple2) -> rule8))] The cow is blue.[(((triple7) -> rule5))] The cow likes the cow.[(((triple6) -> rule8))] The lion is blue.[(((triple9) -> rule5))]