The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is red. The rabbit is young. All red, young people are cold.
The rabbit is not blue.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is cold.[(triple3 OR ((triple4 triple5) -> rule1))] The rabbit is red.[(triple4)] The rabbit is young.[(triple5)]