The rabbit is cold. The rabbit is green. The rabbit is nice. If the rabbit is not cold and the rabbit is not nice then the rabbit is red. If someone is cold then they are green. If someone is cold then they are kind.
The rabbit likes the rabbit.
@0: The rabbit is cold.[(triple1)] The rabbit is green.[(triple2 OR ((triple1) -> rule2))] The rabbit is nice.[(triple3)] @1: The rabbit is kind.[(((triple1) -> rule3))]