The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is nice. The rabbit is round. All big things are kind.
The rabbit is not nice.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is kind.[(triple3 OR ((triple1) -> rule1))] The rabbit is nice.[(triple4)] The rabbit is round.[(triple5)]