The cat is kind. The rabbit is round. The rabbit needs the cat. If the cat likes the rabbit and the cat is kind then the cat chases the rabbit. If something needs the rabbit and it likes the cat then the cat is young. If something needs the cat then the cat likes the rabbit.
The cat does not chase the rabbit.
@0: The cat is kind.[(triple1)] The rabbit is round.[(triple2)] The rabbit needs the cat.[(triple3)] @1: The cat likes the rabbit.[(((triple3) -> rule3))] @2: The cat chases the rabbit.[(((((triple3) -> rule3) triple1) -> rule1))]