The rabbit is rough. The rabbit is round. The rabbit is young. If the rabbit is young then the rabbit is rough. If something is rough and blue then it is round. If something is blue then it is nice.
The rabbit is not nice.
@0: The rabbit is rough.[(triple1 OR ((triple3) -> rule1))] The rabbit is round.[(triple2)] The rabbit is young.[(triple3)]