The rabbit is green. If someone is green and not young then they are not rough. Nice people are rough. If someone is round and not young then they are rough. If someone is green then they are nice. All rough people are round. If the rabbit is nice and the rabbit is not young then the rabbit is round.
The rabbit needs the rabbit.
@0: The rabbit is green.[(triple1)] @1: The rabbit is nice.[(((triple1) -> rule4))] @2: The rabbit is rough.[(((((triple1) -> rule4)) -> rule2))] @3: The rabbit is round.[(((((((triple1) -> rule4)) -> rule2)) -> rule5))]