The cat is round. The cat does not visit the rabbit. The rabbit eats the cat. If someone is blue and not round then they visit the cat. If someone is rough and they visit the rabbit then the rabbit visits the cat. If the cat does not visit the rabbit then the rabbit sees the cat.
The cat is blue.
@0: The cat does not visit the rabbit.[(triple2)] The cat is round.[(triple1)] The rabbit eats the cat.[(triple3)] @1: The rabbit sees the cat.[(((triple2) -> rule3))]