The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit is young. Young people are green.
The rabbit likes the rabbit.
@0: The rabbit is green.[(triple1 OR ((triple5) -> rule1))] The rabbit is nice.[(triple2)] The rabbit is red.[(triple3)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)]