The cat is blue. The lion sees the cat. If someone needs the lion and they are green then they like the lion. If someone likes the cat then they see the cat. If someone is blue then they are young.
The cat does not see the cat.
@0: The cat is blue.[(triple1)] The lion sees the cat.[(triple2)] @1: The cat is young.[(((triple1) -> rule3))]