Gary is furry. All kind people are rough. Kind people are rough. If someone is kind and quiet then they are not cold. All furry, cold people are quiet. If someone is furry and not white then they are not kind. If someone is furry and quiet then they are kind. If someone is rough and not kind then they are not blue. Furry people are blue.
Gary is cold.
@0: Gary is furry.[(triple1)] @1: Gary is blue.[(((triple1) -> rule8))]