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