The rabbit is big. Rough people are big. If someone is blue then they are big. All young, blue people are rough. Big, cold people are rough. All young people are rough. All big, blue people are young. If the rabbit is big then the rabbit is blue. All young people are blue.
The rabbit is not cold.
@0: The rabbit is big.[(triple1)] @1: The rabbit is blue.[(((triple1) -> rule7))] @2: The rabbit is young.[(((triple1 ((triple1) -> rule7)) -> rule6))] @3: The rabbit is rough.[(((((triple1 ((triple1) -> rule7)) -> rule6)) -> rule5) OR ((((triple1 ((triple1) -> rule7)) -> rule6) ((triple1) -> rule7)) -> rule3))]