The bald eagle is kind. The cat eats the bald eagle. The rabbit sees the bald eagle. The squirrel sees the rabbit. If someone eats the cat then the cat is green. If someone eats the bald eagle and they visit the rabbit then they visit the cat. If someone sees the rabbit and the rabbit sees the bald eagle then the bald eagle sees the cat. If someone sees the cat then the cat is blue. All blue people are round. If someone is green and round then they see the cat.
The squirrel does not eat the cat.
@0: The bald eagle is kind.[(triple1)] The cat eats the bald eagle.[(triple2)] The rabbit sees the bald eagle.[(triple3)] The squirrel sees the rabbit.[(triple4)] @1: The bald eagle sees the cat.[(((triple4 triple3) -> rule3))] @2: The cat is blue.[(((((triple4 triple3) -> rule3)) -> rule4))] @3: The cat is round.[(((((((triple4 triple3) -> rule3)) -> rule4)) -> rule5))]