The bald eagle is green. The bald eagle likes the tiger. The bald eagle needs the cow. The bald eagle needs the tiger. The cow is blue. The cow is red. The cow likes the lion. The cow visits the lion. The cow visits the tiger. The lion likes the tiger. The lion needs the cow. The lion visits the bald eagle. The lion visits the cow. The tiger likes the bald eagle. The tiger likes the cow. The tiger visits the lion. If someone needs the tiger and the tiger visits the bald eagle then the bald eagle needs the cow. If the cow is cold and the cow needs the lion then the cow visits the bald eagle. If someone likes the lion and they need the tiger then they need the bald eagle. If someone visits the tiger then the tiger needs the bald eagle. If someone is blue and they need the cow then the cow needs the bald eagle. If the lion is blue and the lion likes the cow then the lion is cold.
The tiger visits the lion.
@0: The bald eagle is green.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle needs the cow.[(triple3)] The bald eagle needs the tiger.[(triple4)] The cow is blue.[(triple5)] The cow is red.[(triple6)] The cow likes the lion.[(triple7)] The cow visits the lion.[(triple8)] The cow visits the tiger.[(triple9)] The lion likes the tiger.[(triple10)] The lion needs the cow.[(triple11)] The lion visits the bald eagle.[(triple12)] The lion visits the cow.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger likes the cow.[(triple15)] The tiger visits the lion.[(triple16)] @1: The tiger needs the bald eagle.[(((triple9) -> rule4))]