Alan is not only red but green and blue as well. Bob is very big for being so young. The round, rough, and green one was labeled Gary after all. Harry has been blue because he's green with envy. If you come across a cold, red person with a round shape you'll find they are nice people. If you paint someone who is round blue and green, they must be young. A person that is big and rough will certainly be blue. All rough people are big in some way.
Alan is not cold.
@0: Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is red.[(triple1)] Bob is big.[(triple5)] Bob is young.[(triple4)] Gary is green.[(triple8)] Gary is rough.[(triple7)] Gary is round.[(triple6)] Harry is blue.[(triple10)] Harry is green.[(triple9)] @1: Gary is big.[(((triple7) -> rule4))] @2: Gary is blue.[(((triple7 ((triple7) -> rule4)) -> rule3))] @3: Gary is young.[(((((triple7 ((triple7) -> rule4)) -> rule3) triple6 triple8) -> rule2))]