The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit is round. All red, big people are round.
The rabbit visits the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is green.[(triple2)] The rabbit is kind.[(triple3)] The rabbit is red.[(triple4)] The rabbit is round.[(triple5 OR ((triple4 triple1) -> rule1))]