The rabbit is big. The rabbit is cold. The rabbit is kind. The rabbit is nice. The rabbit is young. If someone is kind and big then they are nice. All nice people are big.
The rabbit is not nice.
@0: The rabbit is big.[(triple1 OR ((triple4) -> rule2))] The rabbit is cold.[(triple2)] The rabbit is kind.[(triple3)] The rabbit is nice.[(triple4 OR ((triple3 triple1) -> rule1))] The rabbit is young.[(triple5)]