The rabbit is kind. The rabbit is rough. The rabbit is young. If the rabbit is kind then the rabbit is rough. If someone is rough and not kind then they are nice. If the rabbit is young then the rabbit is not big. Kind people are young. Big people are young. If someone is big and kind then they are young. If someone is big and not rough then they are young. If the rabbit is not big then the rabbit is nice.
The rabbit is young.
@0: The rabbit is kind.[(triple1)] The rabbit is rough.[(triple2 OR ((triple1) -> rule1))] The rabbit is young.[(triple3 OR ((triple1) -> rule4))] @1: The rabbit is not big.[(((triple3) -> rule3) OR ((((triple1) -> rule4)) -> rule3))] @2: The rabbit is nice.[(((((triple3) -> rule3)) -> rule8) OR ((((((triple1) -> rule4)) -> rule3)) -> rule8))]