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