The rabbit is rough. All kind, blue things are rough. If something is big and red then it is rough. All big things are blue. If something is red then it is kind. All rough things are red. Rough things are red. Kind, blue things are big. All kind, big things are rough.
The rabbit is not big.
@0: The rabbit is rough.[(triple1)] @1: The rabbit is red.[(((triple1) -> rule5) OR ((triple1) -> rule6))] @2: The rabbit is kind.[(((((triple1) -> rule5)) -> rule4) OR ((((triple1) -> rule6)) -> rule4))]