Gary is young. If someone is big and cold then they are nice. White, green people are blue. All young people are cold.
Gary is not nice.
@0: Gary is young.[(triple1)] @1: Gary is cold.[(((triple1) -> rule3))]