The cat does not like the lion. The lion needs the cat. The rabbit likes the cat. If someone likes the cat then they are cold. If someone is blue and big then they like the cat. If someone needs the lion then the lion is cold. If someone sees the lion then the lion likes the cat. If someone likes the lion and they like the cat then they see the rabbit. If someone likes the lion and they are big then they see the rabbit. If someone needs the rabbit then they do not need the cat. If someone likes the rabbit and the rabbit does not like the cat then the cat likes the rabbit.
The rabbit does not like the cat.
@0: The cat does not like the lion.[(triple1)] The lion needs the cat.[(triple2)] The rabbit likes the cat.[(triple3)] @1: The rabbit is cold.[(((triple3) -> rule1))]