The cat chases the lion. The lion eats the cat. If the cat is young then the cat is nice. If someone needs the cat then the cat is nice. If the lion eats the cat and the cat is cold then the lion does not chase the cat. If the lion does not eat the cat then the cat eats the lion. If the cat does not chase the lion and the lion is not cold then the lion is big. If someone eats the lion and they chase the cat then the cat does not need the lion. If someone chases the lion then they are big. If someone is cold then they chase the cat.
The cat is big.
@0: The cat chases the lion.[(triple1)] The lion eats the cat.[(triple2)] @1: The cat is big.[(((triple1) -> rule7))]