The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit is round. If the rabbit is red and the rabbit is not rough then the rabbit is nice. Kind people are nice.
The rabbit is not round.
@0: The rabbit is kind.[(triple1)] The rabbit is nice.[(triple2 OR ((triple1) -> rule2))] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5)]