The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is round. The rabbit is young. Big, young things are kind. All young things are kind. Young, big things are kind.
The rabbit eats the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is kind.[(triple3 OR ((triple5) -> rule2) OR ((triple1 triple5) -> rule1) OR ((triple5 triple1) -> rule3))] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)]