The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is round. Big things are kind. All round things are kind. All big, green things are cold.
The rabbit likes the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2 OR ((triple1 triple3) -> rule3))] The rabbit is green.[(triple3)] The rabbit is kind.[(triple4 OR ((triple1) -> rule1) OR ((triple5) -> rule2))] The rabbit is round.[(triple5)]