The dog needs the rabbit. The lion is young. The rabbit needs the lion. If something needs the lion and it is young then the lion chases the rabbit. If something is cold then it eats the dog. If something chases the lion then it is blue. All blue things are young. If something is cold then it needs the lion. If the rabbit needs the lion then the rabbit chases the lion.
The lion is blue.
@0: The dog needs the rabbit.[(triple1)] The lion is young.[(triple2)] The rabbit needs the lion.[(triple3)] @1: The rabbit chases the lion.[(((triple3) -> rule6))] @2: The rabbit is blue.[(((((triple3) -> rule6)) -> rule3))] @3: The rabbit is young.[(((((((triple3) -> rule6)) -> rule3)) -> rule4))] @4: The lion chases the rabbit.[(((triple3 ((((((triple3) -> rule6)) -> rule3)) -> rule4)) -> rule1))]