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