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 is red.
@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)]