The rabbit is red. If the rabbit is round then the rabbit is red. If the rabbit is rough and the rabbit is not green then the rabbit is young. If someone is rough then they are red. If someone is rough and not green then they are not red. If someone is red and round then they are young. Red people are rough. All young people are round. Rough people are round.
The rabbit is green.
@0: The rabbit is red.[(triple1)] @1: The rabbit is rough.[(((triple1) -> rule6))] @2: The rabbit is round.[(((((triple1) -> rule6)) -> rule8))] @3: The rabbit is young.[(((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule5))]