The bald eagle chases the tiger. The bald eagle does not see the rabbit. The cow is red. The rabbit does not chase the tiger. The rabbit eats the tiger. The rabbit sees the tiger. The tiger chases the cow. If someone eats the bald eagle then they chase the cow. If someone eats the tiger then the tiger is kind.
The bald eagle does not chase the rabbit.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle does not see the rabbit.[(triple2)] The cow is red.[(triple3)] The rabbit does not chase the tiger.[(triple4)] The rabbit eats the tiger.[(triple5)] The rabbit sees the tiger.[(triple6)] The tiger chases the cow.[(triple7)] @1: The tiger is kind.[(((triple5) -> rule2))]