The rabbit is blue. The rabbit is cold. The rabbit is red. If someone is red then they are blue. If the rabbit is rough then the rabbit is blue.
The rabbit is not kind.
@0: The rabbit is blue.[(triple1 OR ((triple3) -> rule1))] The rabbit is cold.[(triple2)] The rabbit is red.[(triple3)]