The cat is blue. The lion chases the cat. If someone visits the cat then they chase the cat. If someone is young then they chase the cat. If someone chases the lion and they are round then they need the lion. If someone is blue then they need the cat. If someone is young then they need the lion. If someone visits the cat and they are young then they chase the cat.
The lion visits the cat.
@0: The cat is blue.[(triple1)] The lion chases the cat.[(triple2)] @1: The cat needs the cat.[(((triple1) -> rule4))]