The cat needs the lion. The lion sees the rabbit. The rabbit needs the cat. The tiger is red. If someone sees the cat then they like the tiger. If the lion likes the cat and the lion is red then the cat is big. If someone likes the cat then they like the lion. If someone needs the cat then they see the cat. If someone is young and they like the cat then the cat sees the rabbit. If someone needs the lion then the lion sees the tiger.
The rabbit sees the cat.
@0: The cat needs the lion.[(triple1)] The lion sees the rabbit.[(triple2)] The rabbit needs the cat.[(triple3)] The tiger is red.[(triple4)] @1: The lion sees the tiger.[(((triple1) -> rule6))] The rabbit sees the cat.[(((triple3) -> rule4))] @2: The rabbit likes the tiger.[(((((triple3) -> rule4)) -> rule1))]