The rabbit is blue. The rabbit is cold. The rabbit is not nice. If the rabbit is kind then the rabbit is blue. If the rabbit is nice then the rabbit is blue. If something is kind and not nice then it is green. Kind things are green. If something is cold and not nice then it is not green. If the rabbit is not nice and the rabbit is not blue then the rabbit is not green.
The rabbit eats the rabbit.
@0: The rabbit is blue.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is not nice.[(triple3)] @1: The rabbit is not green.[(((triple2 triple3) -> rule5))]