The bald eagle needs the tiger. The dog chases the tiger. The tiger needs the bald eagle. If something needs the dog then it sees the bald eagle. If something is rough and it chases the bald eagle then the bald eagle needs the tiger. If something sees the dog and the dog is big then the dog is red. If the bald eagle is blue and the tiger does not chase the bald eagle then the tiger is big. If the dog chases the tiger then the tiger sees the dog. If something sees the dog then the dog is big.
The tiger is not cold.
@0: The bald eagle needs the tiger.[(triple1)] The dog chases the tiger.[(triple2)] The tiger needs the bald eagle.[(triple3)] @1: The tiger sees the dog.[(((triple2) -> rule5))] @2: The dog is big.[(((((triple2) -> rule5)) -> rule6))] @3: The dog is red.[(((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule6)) -> rule3))]