The bald eagle chases the rabbit. The bald eagle sees the tiger. The lion chases the rabbit. The rabbit likes the bald eagle. The tiger is cold. The tiger likes the rabbit. The tiger sees the rabbit. If someone is cold then they chase the tiger. If the rabbit sees the lion and the rabbit is cold then the lion chases the tiger. If someone likes the bald eagle and they see the bald eagle then they chase the bald eagle. If someone chases the bald eagle then they like the rabbit. If someone chases the bald eagle then the bald eagle chases the rabbit. If someone likes the tiger and they chase the lion then the lion chases the rabbit.
The lion does not chase the tiger.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle sees the tiger.[(triple2)] The lion chases the rabbit.[(triple3)] The rabbit likes the bald eagle.[(triple4)] The tiger is cold.[(triple5)] The tiger likes the rabbit.[(triple6)] The tiger sees the rabbit.[(triple7)] @1: The tiger chases the tiger.[(((triple5) -> rule1))]