Alan, who is a very nice man, is also quite round in shape. He found himself quite blue from being made fun of him, but that also made his face red with anger. Charlie has a round face and is very nice. When you meet Eric you'll the two characteristics that will standout is that he's red but also rough. Gary is big and green guy whose cold personality makes him seem very rough. Blue kind people are almost always nice to others. Nice people are kind and rough when they are young. If you're cold and red then you're nice. A person being big and rough makes them cold towards others but that also means that they are kind. If a person behaves in a nice way while they are physically blue and big, they're definitely round. A big, green person who is cold is assumed to be red also.
Gary is not nice.
@0: Alan is blue.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Charlie is nice.[(triple6)] Charlie is round.[(triple5)] Eric is red.[(triple8)] Eric is rough.[(triple7)] Gary is big.[(triple12)] Gary is cold.[(triple11)] Gary is green.[(triple10)] Gary is rough.[(triple9)] @1: Gary is kind.[(((triple11 triple12 triple9) -> rule4))] Gary is red.[(((triple10 triple12 triple11) -> rule6))] @2: Gary is nice.[(((triple11 ((triple10 triple12 triple11) -> rule6)) -> rule3))] @3: Gary is young.[(((((triple11 ((triple10 triple12 triple11) -> rule6)) -> rule3) ((triple11 triple12 triple9) -> rule4) triple9) -> rule2))]