The rabbit is not blue. The rabbit is cold. The rabbit is kind. The rabbit is nice. The rabbit is red. All kind things are cold. All cold things are nice.
The rabbit does not see the rabbit.
@0: The rabbit is cold.[(triple2 OR ((triple3) -> rule1))] The rabbit is kind.[(triple3)] The rabbit is nice.[(triple4 OR ((triple2) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] The rabbit is not blue.[(triple1)] The rabbit is red.[(triple5)]