The rabbit is blue. The rabbit is not red. The rabbit is young. If something is nice then it is blue. If the rabbit is nice then the rabbit is young. If something is blue and not nice then it is kind. If something is blue and not young then it is kind. If the rabbit is not young then the rabbit is blue. If the rabbit is not blue then the rabbit is not kind. If the rabbit is young then the rabbit is kind. Kind, nice things are not red.
The rabbit is nice.
@0: The rabbit is blue.[(triple1)] The rabbit is not red.[(triple2)] The rabbit is young.[(triple3)] @1: The rabbit is kind.[(((triple3) -> rule7))]