The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is nice. The rabbit is young. If someone is blue then they are cold.
The rabbit needs the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is cold.[(triple3 OR ((triple2) -> rule1))] The rabbit is nice.[(triple4)] The rabbit is young.[(triple5)]