The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is round. If the rabbit is red then the rabbit is cold. If someone is green then they are red.
The rabbit is red.
@0: The rabbit is cold.[(triple1 OR ((triple4) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] The rabbit is green.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is red.[(triple4 OR ((triple2) -> rule2))] The rabbit is round.[(triple5)]