The rabbit is rough. If the rabbit is rough then the rabbit is round. If something is kind then it is rough. If the rabbit is nice and the rabbit is round then the rabbit is blue. Kind things are nice. If the rabbit is round then the rabbit is nice. Nice things are rough.
The rabbit visits the rabbit.
@0: The rabbit is rough.[(triple1)] @1: The rabbit is round.[(((triple1) -> rule1))] @2: The rabbit is nice.[(((((triple1) -> rule1)) -> rule5))] @3: The rabbit is blue.[(((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule3))]