Alan is blue just like his dog. Alan is rough and round enough for the dog to use him as an exercise wheel. Charlie is green, which is a possible explanation for why he is so nice. Eric was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Gary is a big person who is kind to all.  He is red and blue. Being round and nice automatically means a person is kind. A kind person with green and red skin must be big too. Look for the blue and green people, they are kind and will give you directions if you're lost. A nice and blue person who's also red will be a rough person. People who are cold even when they're nice and round, they are young. When somebody is round, kind and blue, you know they'll also be red.
Eric is red.
@0: Alan is blue.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is green.[(triple5)] Charlie is nice.[(triple4)] Eric is blue.[(triple8)] Eric is green.[(triple7)] Eric is round.[(triple6)] Gary is big.[(triple12)] Gary is blue.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9)] @1: Eric is kind.[(((triple8 triple7) -> rule3))] @2: Eric is red.[(((triple6 ((triple8 triple7) -> rule3) triple8) -> rule6))] @3: Eric is big.[(((triple7 ((triple8 triple7) -> rule3) ((triple6 ((triple8 triple7) -> rule3) triple8) -> rule6)) -> rule2))]