The rabbit is big. The rabbit is blue. The rabbit is cold. Big, rough people are blue. Rough people are blue. If someone is cold and not big then they are blue. If someone is rough and cold then they are nice. If someone is rough and blue then they are nice. If the rabbit is cold then the rabbit is blue. If the rabbit is not rough then the rabbit is blue. All blue people are cold.
The rabbit is rough.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2 OR ((triple3) -> rule6))] The rabbit is cold.[(triple3 OR ((triple2) -> rule8))]