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 cold.
@0: The rabbit is cold.[(triple1 OR ((triple2) -> rule3))] The rabbit is rough.[(triple2 OR ((triple1) -> rule2))] The rabbit is young.[(triple3)]