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