The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is nice. The rabbit is rough. If something is cold and not big then it is rough. If the rabbit is not nice then the rabbit is blue. If the rabbit is blue then the rabbit is cold.
The rabbit is blue.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is cold.[(triple3 OR ((triple2) -> rule3))] The rabbit is nice.[(triple4)] The rabbit is rough.[(triple5)]