The bald eagle is rough. The dog chases the rabbit. The dog is rough. The dog is round. The dog sees the rabbit. The rabbit chases the dog. The rabbit is green. If someone is round then they see the bald eagle. If the rabbit sees the dog then the rabbit is round.
The bald eagle does not see the bald eagle.
@0: The bald eagle is rough.[(triple1)] The dog chases the rabbit.[(triple2)] The dog is rough.[(triple3)] The dog is round.[(triple4)] The dog sees the rabbit.[(triple5)] The rabbit chases the dog.[(triple6)] The rabbit is green.[(triple7)] @1: The dog sees the bald eagle.[(((triple4) -> rule1))]