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