The lion eats the rabbit. The rabbit does not chase the lion. The rabbit is not big. If the lion eats the rabbit and the rabbit does not like the lion then the rabbit is not red. If something is green then it eats the lion. If something eats the rabbit then it is not green. If something chases the lion then the lion likes the rabbit. If something eats the lion and the lion likes the rabbit then the lion is red. If something chases the rabbit and the rabbit eats the lion then it does not eat the rabbit.
The rabbit is not big.
@0: The lion eats the rabbit.[(triple1)] The rabbit does not chase the lion.[(triple2)] The rabbit is not big.[(triple3)] @1: The lion is not green.[(((triple1) -> rule3))]