The rabbit is big. The rabbit is cold. The rabbit is nice. The rabbit is rough. The rabbit is round. All cold people are round. All nice people are big. Round, nice people are cold.
The rabbit does not need the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple3) -> rule2))] The rabbit is cold.[(triple2 OR ((triple5 triple3) -> rule3))] The rabbit is nice.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5 OR ((triple2) -> rule1))]