The rabbit is big. The rabbit is cold. The rabbit is kind. The rabbit is not red. The rabbit is round. If someone is cold then they are kind.
The rabbit is not big.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is kind.[(triple3 OR ((triple2) -> rule1))] The rabbit is not red.[(triple4)] The rabbit is round.[(triple5)]