The cat chases the lion. The dog is big. The lion eats the tiger. The tiger is cold. If someone is cold then they are green. If someone chases the tiger then the tiger is young. If someone sees the lion then they eat the tiger. If someone sees the dog then they chase the cat. If someone sees the cat then they are young. If someone sees the cat then they are rough. If someone eats the cat then the cat is cold. If someone sees the dog and the dog sees the tiger then the dog eats the lion.
The lion eats the tiger.
@0: The cat chases the lion.[(triple1)] The dog is big.[(triple2)] The lion eats the tiger.[(triple3)] The tiger is cold.[(triple4)] @1: The tiger is green.[(((triple4) -> rule1))]