The rabbit is blue. The rabbit is cold. The rabbit is nice. The rabbit is red. The rabbit is round. All cold people are round. All cold, nice people are round. Nice people are blue.
The rabbit is nice.
@0: The rabbit is blue.[(triple1 OR ((triple3) -> rule3))] The rabbit is cold.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is red.[(triple4)] The rabbit is round.[(triple5 OR ((triple2) -> rule1) OR ((triple2 triple3) -> rule2))]