The bald eagle chases the rabbit. The lion chases the bald eagle. The mouse is rough. The rabbit chases the bald eagle. Young things are rough. If something is nice then it likes the bald eagle. All rough things are blue. If something is rough and it likes the lion then the lion sees the bald eagle. If something sees the bald eagle then the bald eagle chases the rabbit. If something likes the lion and the lion likes the bald eagle then it sees the rabbit.
The lion does not see the rabbit.
@0: The bald eagle chases the rabbit.[(triple1)] The lion chases the bald eagle.[(triple2)] The mouse is rough.[(triple3)] The rabbit chases the bald eagle.[(triple4)] @1: The mouse is blue.[(((triple3) -> rule3))]