The rabbit is blue. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit is young. Red, young things are round.
The rabbit does not see the rabbit.
@0: The rabbit is blue.[(triple1)] The rabbit is nice.[(triple2)] The rabbit is red.[(triple3)] The rabbit is round.[(triple4 OR ((triple3 triple5) -> rule1))] The rabbit is young.[(triple5)]