The bald eagle sees the rabbit. The bear is rough. The mouse chases the bear. The rabbit is cold. If something chases the bear then it is rough. If something chases the bald eagle then it sees the rabbit. If the bald eagle sees the rabbit then the bald eagle is rough.
The mouse sees the rabbit.
@0: The bald eagle sees the rabbit.[(triple1)] The bear is rough.[(triple2)] The mouse chases the bear.[(triple3)] The rabbit is cold.[(triple4)] @1: The bald eagle is rough.[(((triple1) -> rule3))] The mouse is rough.[(((triple3) -> rule1))]