The rabbit is round. All round things are young. Cold things are rough. Rough things are red. All red things are round. If the rabbit is young then the rabbit is rough. All rough things are cold. All red, cold things are round. All young things are round.
The rabbit is not rough.
@0: The rabbit is round.[(triple1)] @1: The rabbit is young.[(((triple1) -> rule1))] @2: The rabbit is rough.[(((((triple1) -> rule1)) -> rule5))] @3: The rabbit is cold.[(((((((triple1) -> rule1)) -> rule5)) -> rule6))] The rabbit is red.[(((((((triple1) -> rule1)) -> rule5)) -> rule3))]