The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is red. If the rabbit is big then the rabbit is green. Cold people are kind. If someone is cold then they are kind.
The rabbit does not need the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is green.[(triple3 OR ((triple1) -> rule1))] The rabbit is kind.[(triple4 OR ((triple2) -> rule2) OR ((triple2) -> rule3))] The rabbit is red.[(triple5)]