Young Alan is kind and perpetually cold, especially during the winter holidays when he is green and red. From a certain angle Bob is blue but he is young so maybe that will go away. Gary has rough skin that is tinged with both red and green.  He has a round shape and is nice to everyone he meets. All kind, red, and young people are also nice. Nice and kind people tend to live green lifestyle and arent very rough. People who are rough and green with envy are young. A big and round shaped person that is also cold will be blue in color. Blue people who are rough are often young. Someone who tends to be icy cold and rough but secretly nice are generally very blue. I have found that kind, rough people are both red and cold.
Alan is not blue.
@0: Alan is cold.[(triple5 OR ((triple2 triple3 ((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2)) -> rule7))] Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple7)] Bob is young.[(triple6)] Gary is green.[(triple12)] Gary is nice.[(triple11)] Gary is red.[(triple10)] Gary is rough.[(triple9)] Gary is round.[(triple8)] @1: Alan is nice.[(((triple3 triple2 triple1) -> rule1))] Gary is young.[(((triple9 triple12) -> rule3))] @2: Alan is rough.[(((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2))] @3: Alan is blue.[(((triple5 ((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2) ((triple3 triple2 triple1) -> rule1)) -> rule6) OR ((((triple2 triple3 ((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2)) -> rule7) ((((triple3 triple2 triple1) -> rule1) triple3 triple4) -> rule2) ((triple3 triple2 triple1) -> rule1)) -> rule6))]