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 does not like the rabbit.
@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)]