The rabbit is green. Young, nice people are red. Cold, young people are nice. If someone is green then they are nice. If someone is cold and green then they are red. Green people are red. If the rabbit is young and the rabbit is cold then the rabbit is green. If the rabbit is red and the rabbit is cold then the rabbit is green. If someone is cold and red then they are green.
The rabbit sees the rabbit.
@0: The rabbit is green.[(triple1)] @1: The rabbit is nice.[(((triple1) -> rule3))] The rabbit is red.[(((triple1) -> rule5))]