The rabbit is cold. Red things are round. If the rabbit is round then the rabbit is not red. If the rabbit is cold then the rabbit is round. If the rabbit is red then the rabbit is not young. All round, red things are not young. If something is round and young then it is red.
The rabbit does not visit the rabbit.
@0: The rabbit is cold.[(triple1)] @1: The rabbit is round.[(((triple1) -> rule3))] @2: The rabbit is not red.[(((((triple1) -> rule3)) -> rule2))]