The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is young. All kind things are green. If the rabbit is green then the rabbit is nice. If something is nice then it is young.
The rabbit chases the rabbit.
@0: The rabbit is blue.[(triple1)] The rabbit is green.[(triple2 OR ((triple3) -> rule1))] The rabbit is kind.[(triple3)] The rabbit is nice.[(triple4 OR ((triple2) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] The rabbit is young.[(triple5 OR ((triple4) -> rule3) OR ((((triple2) -> rule2)) -> rule3) OR ((((((triple3) -> rule1)) -> rule2)) -> rule3))]