The rabbit is green. The rabbit is nice. The rabbit is young. If something is young and not nice then it is green. If something is young then it is rough. If the rabbit is rough then the rabbit is young.
The rabbit likes the rabbit.
@0: The rabbit is green.[(triple1)] The rabbit is nice.[(triple2)] The rabbit is young.[(triple3)] @1: The rabbit is rough.[(((triple3) -> rule2))]