The rabbit is blue. The rabbit is cold. The rabbit is green. If something is big then it is cold. If something is green and rough then it is cold. Blue, big things are cold. Blue things are cold. If the rabbit is rough then the rabbit is green. Rough things are big. All big things are rough. All cold things are big.
The rabbit is not cold.
@0: The rabbit is blue.[(triple1)] The rabbit is cold.[(triple2 OR ((triple1) -> rule4))] The rabbit is green.[(triple3 OR ((((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((((((triple1) -> rule4)) -> rule8)) -> rule7)) -> rule5))] @1: The rabbit is big.[(((triple2) -> rule8) OR ((((triple1) -> rule4)) -> rule8))] @2: The rabbit is rough.[(((((triple2) -> rule8)) -> rule7) OR ((((((triple1) -> rule4)) -> rule8)) -> rule7))]