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