The rabbit is round. If the rabbit is young and the rabbit is not red then the rabbit is round. All round things are young. If the rabbit is not young then the rabbit is rough.
The rabbit is big.
@0: The rabbit is round.[(triple1)] @1: The rabbit is young.[(((triple1) -> rule2))]