The rabbit is big. The rabbit is cold. The rabbit is nice. The rabbit is not red. The rabbit is rough. Red things are nice. All big things are nice. All big things are cold. If the rabbit is not nice then the rabbit is cold. If something is big and not cold then it is rough. If something is cold then it is rough.
The rabbit needs the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2 OR ((triple1) -> rule3))] The rabbit is nice.[(triple3 OR ((triple1) -> rule2))] The rabbit is not red.[(triple4)] The rabbit is rough.[(triple5 OR ((triple2) -> rule6) OR ((((triple1) -> rule3)) -> rule6))]