The rabbit is big. The rabbit is cold. The rabbit is nice. The rabbit is rough. The rabbit is young. If someone is big then they are cold. Big, rough people are cold. All rough people are cold.
The rabbit is not nice.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2 OR ((triple1) -> rule1) OR ((triple4) -> rule3) OR ((triple1 triple4) -> rule2))] The rabbit is nice.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is young.[(triple5)]