The rabbit is cold. Big, cold people are kind. If the rabbit is red and the rabbit is big then the rabbit is rough. All big, kind people are rough. Cold people are big. All red, rough people are big. If the rabbit is cold then the rabbit is big.
The rabbit is red.
@0: The rabbit is cold.[(triple1)] @1: The rabbit is big.[(((triple1) -> rule4) OR ((triple1) -> rule6))] @2: The rabbit is kind.[(((((triple1) -> rule4) triple1) -> rule1) OR ((((triple1) -> rule6) triple1) -> rule1))] @3: The rabbit is rough.[(((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule1)) -> rule3) OR ((((triple1) -> rule4) ((((triple1) -> rule6) triple1) -> rule1)) -> rule3) OR ((((triple1) -> rule6) ((((triple1) -> rule4) triple1) -> rule1)) -> rule3) OR ((((triple1) -> rule6) ((((triple1) -> rule6) triple1) -> rule1)) -> rule3))]