The bald eagle eats the cat. The cat chases the tiger. The lion needs the tiger. The tiger eats the bald eagle. The tiger eats the cat. The tiger is green. The tiger is rough. If someone chases the tiger then they are green.
The cat chases the tiger.
@0: The bald eagle eats the cat.[(triple1)] The cat chases the tiger.[(triple2)] The lion needs the tiger.[(triple3)] The tiger eats the bald eagle.[(triple4)] The tiger eats the cat.[(triple5)] The tiger is green.[(triple6)] The tiger is rough.[(triple7)] @1: The cat is green.[(((triple2) -> rule1))]