The rabbit is big. The rabbit is rough. The rabbit is young. Rough, red things are big. All big, young things are rough. Big, rough things are red. Red things are kind. All red things are kind. Red things are young.
The rabbit is red.
@0: The rabbit is big.[(triple1)] The rabbit is rough.[(triple2 OR ((triple1 triple3) -> rule2))] The rabbit is young.[(triple3 OR ((((triple1 triple2) -> rule3)) -> rule6))] @1: The rabbit is red.[(((triple1 triple2) -> rule3) OR ((triple1 ((triple1 triple3) -> rule2)) -> rule3))] @2: The rabbit is kind.[(((((triple1 triple2) -> rule3)) -> rule4) OR ((((triple1 triple2) -> rule3)) -> rule5) OR ((((triple1 ((triple1 triple3) -> rule2)) -> rule3)) -> rule4) OR ((((triple1 ((triple1 triple3) -> rule2)) -> rule3)) -> rule5))]