The rabbit is big. The rabbit is cold. The rabbit is not kind. The rabbit is nice. The rabbit is not rough. All big things are nice. All nice, cold things are not kind. All rough, nice things are cold. If the rabbit is kind then the rabbit is big. All kind things are big. If the rabbit is big and the rabbit is kind then the rabbit is nice.
The rabbit needs the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is nice.[(triple4 OR ((triple1) -> rule1))] The rabbit is not kind.[(triple3 OR ((triple4 triple2) -> rule2) OR ((((triple1) -> rule1) triple2) -> rule2))] The rabbit is not rough.[(triple5)]