The rabbit is blue. The rabbit is cold. The rabbit is nice. If someone is kind then they are nice. If the rabbit is kind and the rabbit is blue then the rabbit is nice. Blue people are kind.
The rabbit chases the rabbit.
@0: The rabbit is blue.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is nice.[(triple3 OR ((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3) triple1) -> rule2))] @1: The rabbit is kind.[(((triple1) -> rule3))]