The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit is rough. The rabbit is young. Cold people are nice. If someone is cold then they are young.
The rabbit is not cold.
@0: The rabbit is cold.[(triple1)] The rabbit is green.[(triple2)] The rabbit is nice.[(triple3 OR ((triple1) -> rule1))] The rabbit is rough.[(triple4)] The rabbit is young.[(triple5 OR ((triple1) -> rule2))]