Dave is young and rough and comes across as cold, but he is just young and green. Really, he is as nice and kind as you could want. Fred is big and rough. Although Gary is young and nice, he is as cold as ice. A red colored person who is kind and feels cold is usually considered nice. Young and rough people tend to be green too. A young and cold person is red. Anyone that is a red, nice soul will be big, too. Anybody that is big is also someone who is going to be blue. Rough people will often be blue.  They thrive on being kind and nice. A blue person who is young and rough is also red.
Eric is rough.
@0: Dave is cold.[(triple6)] Dave is green.[(triple5 OR ((triple1 triple2) -> rule2))] Dave is kind.[(triple4)] Dave is nice.[(triple3 OR ((((triple6 triple1) -> rule3) triple4 triple6) -> rule1))] Dave is rough.[(triple2)] Dave is young.[(triple1)] Fred is big.[(triple8)] Fred is rough.[(triple7)] Gary is cold.[(triple11)] Gary is nice.[(triple10)] Gary is young.[(triple9)] @1: Dave is red.[(((triple6 triple1) -> rule3))] Fred is blue.[(((triple8) -> rule5))] Gary is red.[(((triple11 triple9) -> rule3))] @2: Dave is big.[(((((triple6 triple1) -> rule3) triple3) -> rule4) OR ((((triple6 triple1) -> rule3) ((((triple6 triple1) -> rule3) triple4 triple6) -> rule1)) -> rule4))] Gary is big.[(((((triple11 triple9) -> rule3) triple10) -> rule4))] @3: Dave is blue.[(((((((triple6 triple1) -> rule3) triple3) -> rule4)) -> rule5) OR ((((((triple6 triple1) -> rule3) ((((triple6 triple1) -> rule3) triple4 triple6) -> rule1)) -> rule4)) -> rule5))] Gary is blue.[(((((((triple11 triple9) -> rule3) triple10) -> rule4)) -> rule5))]