The cat likes the rabbit. The rabbit is young. If the rabbit likes the cat and the cat sees the rabbit then the cat does not like the rabbit. If someone is young then they eat the rabbit.
The cat does not eat the rabbit.
@0: The cat likes the rabbit.[(triple1)] The rabbit is young.[(triple2)] @1: The rabbit eats the rabbit.[(((triple2) -> rule2))]