The bald eagle eats the rabbit. The bald eagle visits the cow. The cow sees the dog. The dog sees the cow. The dog visits the cow. The rabbit is red. The rabbit sees the dog. If something is red and blue then it eats the dog. If the bald eagle eats the rabbit then the bald eagle sees the rabbit.
The bald eagle eats the dog.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle visits the cow.[(triple2)] The cow sees the dog.[(triple3)] The dog sees the cow.[(triple4)] The dog visits the cow.[(triple5)] The rabbit is red.[(triple6)] The rabbit sees the dog.[(triple7)] @1: The bald eagle sees the rabbit.[(((triple1) -> rule2))]