The rabbit is rough. If someone is kind and not round then they are not young. If someone is rough then they are young. All kind, round people are young. All kind people are cold. If the rabbit is cold then the rabbit is kind. If the rabbit is rough and the rabbit is young then the rabbit is cold.
The rabbit does not visit the rabbit.
@0: The rabbit is rough.[(triple1)] @1: The rabbit is young.[(((triple1) -> rule2))] @2: The rabbit is cold.[(((triple1 ((triple1) -> rule2)) -> rule6))] @3: The rabbit is kind.[(((((triple1 ((triple1) -> rule2)) -> rule6)) -> rule5))]