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 is not green.
@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)]