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 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)]