The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is round. If the rabbit is kind and the rabbit is round then the rabbit is green. Big, green people are round.
The rabbit does not need the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is green.[(triple3 OR ((triple4 triple5) -> rule1))] The rabbit is kind.[(triple4)] The rabbit is round.[(triple5 OR ((triple1 triple3) -> rule2))]