The rabbit is young. All young things are round. If the rabbit is round and the rabbit is cold then the rabbit is not nice. Round things are cold. If something is round and nice then it is cold. If something is nice and not round then it is cold. If the rabbit is not nice and the rabbit is not young then the rabbit is not red.
The rabbit visits the rabbit.
@0: The rabbit is young.[(triple1)] @1: The rabbit is round.[(((triple1) -> rule1))] @2: The rabbit is cold.[(((((triple1) -> rule1)) -> rule3))] @3: The rabbit is not nice.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule2))]