The bald eagle needs the tiger. The cow needs the tiger. The dog likes the tiger. The tiger is cold. If something chases the dog then the dog is blue. If something is cold then it likes the bald eagle. If the dog is cold and the dog needs the cow then the cow is rough. If something needs the tiger and it is kind then it is blue. If something is cold then it needs the dog. If something needs the dog then it likes the cow.
The dog likes the tiger.
@0: The bald eagle needs the tiger.[(triple1)] The cow needs the tiger.[(triple2)] The dog likes the tiger.[(triple3)] The tiger is cold.[(triple4)] @1: The tiger likes the bald eagle.[(((triple4) -> rule2))] The tiger needs the dog.[(((triple4) -> rule5))] @2: The tiger likes the cow.[(((((triple4) -> rule5)) -> rule6))]