The rabbit is cold. The rabbit is rough. The rabbit is young. Kind, rough people are green. All cold people are rough. Rough people are cold.
The rabbit is not green.
@0: The rabbit is cold.[(triple1 OR ((triple2) -> rule3))] The rabbit is rough.[(triple2 OR ((triple1) -> rule2))] The rabbit is young.[(triple3)]