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