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