The cow is cold. The lion eats the rabbit. The rabbit sees the lion. If someone eats the rabbit then the rabbit is green. If someone eats the cow and the cow is big then they are red. If someone chases the rabbit and they are cold then the rabbit sees the lion. If the cow is cold and the cow is big then the cow chases the lion. Cold people are big. If someone sees the rabbit and they are not round then they eat the rabbit.
The lion does not chase the lion.
@0: The cow is cold.[(triple1)] The lion eats the rabbit.[(triple2)] The rabbit sees the lion.[(triple3)] @1: The cow is big.[(((triple1) -> rule5))] The rabbit is green.[(((triple2) -> rule1))] @2: The cow chases the lion.[(((triple1 ((triple1) -> rule5)) -> rule4))]