Alan has been blue because he's green with envy. Dave has been blue because he's green with envy. If you meet Gary, you'll notice that he is round, rough, red, kind and blue. Big Harry is a young, round man. Nice people flushing red are always young. People who are young and a bit round in shape are green and inexperienced in life. It's truly amazing that blue, kind, round people are always so nice. Remember that anyone with round shapes and rough edges is nice. Nice blue people are usually round in shape. Nice green people who are cold are often a but rough.
Gary is not green.
@0: Alan is blue.[(triple2)] Alan is green.[(triple1)] Dave is blue.[(triple4)] Dave is green.[(triple3)] Gary is blue.[(triple9)] Gary is kind.[(triple8)] Gary is red.[(triple7)] Gary is rough.[(triple6)] Gary is round.[(triple5)] Harry is big.[(triple12)] Harry is round.[(triple11)] Harry is young.[(triple10)] @1: Gary is nice.[(((triple5 triple6) -> rule4) OR ((triple9 triple8 triple5) -> rule3))] Harry is green.[(((triple10 triple11) -> rule2))] @2: Gary is young.[(((triple7 ((triple5 triple6) -> rule4)) -> rule1) OR ((triple7 ((triple9 triple8 triple5) -> rule3)) -> rule1))] @3: Gary is green.[(((((triple7 ((triple5 triple6) -> rule4)) -> rule1) triple5) -> rule2) OR ((((triple7 ((triple9 triple8 triple5) -> rule3)) -> rule1) triple5) -> rule2))]