The cow eats the lion. The cow visits the lion. The lion is young. If someone eats the lion and the lion is nice then the lion needs the cow. If someone is nice then they eat the lion. If someone is red and rough then they visit the cow. If someone eats the lion then they visit the cow. If someone needs the lion then the lion is kind. If the lion needs the cow then the lion eats the cow.
The lion is not young.
@0: The cow eats the lion.[(triple1)] The cow visits the lion.[(triple2)] The lion is young.[(triple3)] @1: The cow visits the cow.[(((triple1) -> rule4))]