The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is rough. The rabbit is young. All young things are green. If the rabbit is rough then the rabbit is cold.
The rabbit is rough.
@0: The rabbit is cold.[(triple1 OR ((triple4) -> rule2))] The rabbit is green.[(triple2 OR ((triple5) -> rule1))] The rabbit is kind.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is young.[(triple5)]