The rabbit is big. The rabbit is not blue. The rabbit is not cold. The rabbit is rough. The rabbit is young. Blue people are young. All big, rough people are not blue.
The rabbit does not need the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is not blue.[(triple2 OR ((triple1 triple4) -> rule2))] The rabbit is not cold.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is young.[(triple5)]