The rabbit is red. All nice things are cold. All round, young things are cold. If something is round then it is cold. All young things are round. If something is red then it is cold. If something is round then it is nice. If something is round then it is red. If the rabbit is round and the rabbit is cold then the rabbit is red.
The rabbit is young.
@0: The rabbit is red.[(triple1)] @1: The rabbit is cold.[(((triple1) -> rule5))]