The rabbit is blue. The rabbit is cold. The rabbit is nice. The rabbit is round. The rabbit is young. If the rabbit is young then the rabbit is cold.
The rabbit visits the rabbit.
@0: The rabbit is blue.[(triple1)] The rabbit is cold.[(triple2 OR ((triple5) -> rule1))] The rabbit is nice.[(triple3)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)]