The bald eagle chases the rabbit. The cat is green. The cat is round. The cat sees the bald eagle. The cat sees the rabbit. The cat sees the tiger. The rabbit chases the bald eagle. The rabbit likes the tiger. The rabbit sees the cat. The tiger likes the rabbit. If someone is big then they chase the bald eagle. If someone sees the rabbit then they are big.
The cat is big.
@0: The bald eagle chases the rabbit.[(triple1)] The cat is green.[(triple2)] The cat is round.[(triple3)] The cat sees the bald eagle.[(triple4)] The cat sees the rabbit.[(triple5)] The cat sees the tiger.[(triple6)] The rabbit chases the bald eagle.[(triple7)] The rabbit likes the tiger.[(triple8)] The rabbit sees the cat.[(triple9)] The tiger likes the rabbit.[(triple10)] @1: The cat is big.[(((triple5) -> rule2))] @2: The cat chases the bald eagle.[(((((triple5) -> rule2)) -> rule1))]