The rabbit is young. If something is blue and young then it is not cold. All round, young things are blue. All big things are blue. All round things are young. If the rabbit is blue then the rabbit is not cold. All young things are big.
The rabbit chases the rabbit.
@0: The rabbit is young.[(triple1)] @1: The rabbit is big.[(((triple1) -> rule6))] @2: The rabbit is blue.[(((((triple1) -> rule6)) -> rule3))] @3: The rabbit is not cold.[(((((((triple1) -> rule6)) -> rule3)) -> rule5) OR ((((((triple1) -> rule6)) -> rule3) triple1) -> rule1))]