The lion is red. The rabbit chases the lion. The tiger eats the rabbit. If something eats the rabbit and it is not blue then the rabbit eats the tiger. If something eats the rabbit then it is red.
The lion needs the tiger.
@0: The lion is red.[(triple1)] The rabbit chases the lion.[(triple2)] The tiger eats the rabbit.[(triple3)] @1: The tiger is red.[(((triple3) -> rule2))]