The rabbit is cold. All blue people are rough. If someone is cold and rough then they are red. Red people are blue. If someone is young then they are blue. Red, young people are blue. If the rabbit is cold then the rabbit is red. Blue people are cold. All red, rough people are young.
The rabbit is blue.
@0: The rabbit is cold.[(triple1)] @1: The rabbit is red.[(((triple1) -> rule6))] @2: The rabbit is blue.[(((((triple1) -> rule6)) -> rule3))] @3: The rabbit is rough.[(((((((triple1) -> rule6)) -> rule3)) -> rule1))] @4: The rabbit is young.[(((((triple1) -> rule6) ((((((triple1) -> rule6)) -> rule3)) -> rule1)) -> rule8))]