The bald eagle is blue. The bald eagle sees the cow. The cat chases the bald eagle. The cat chases the cow. The cat visits the bald eagle. The cat visits the cow. The cow visits the bald eagle. If the cow sees the bald eagle then the cow is rough. If someone sees the cow and they are blue then the cow sees the bald eagle.
The bald eagle is rough.
@0: The bald eagle is blue.[(triple1)] The bald eagle sees the cow.[(triple2)] The cat chases the bald eagle.[(triple3)] The cat chases the cow.[(triple4)] The cat visits the bald eagle.[(triple5)] The cat visits the cow.[(triple6)] The cow visits the bald eagle.[(triple7)] @1: The cow sees the bald eagle.[(((triple2 triple1) -> rule2))] @2: The cow is rough.[(((((triple2 triple1) -> rule2)) -> rule1))]