The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is round. If the rabbit is cold then the rabbit is green. If someone is round then they are kind. All round, cold people are kind.
The rabbit needs the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is green.[(triple3 OR ((triple2) -> rule1))] The rabbit is kind.[(triple4 OR ((triple5) -> rule2) OR ((triple5 triple2) -> rule3))] The rabbit is round.[(triple5)]