The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is red. If the rabbit is big then the rabbit is cold.
The rabbit does not see the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is cold.[(triple3 OR ((triple1) -> rule1))] The rabbit is green.[(triple4)] The rabbit is red.[(triple5)]