They always say that he is so nice and kind, that is Big Charlie.  But he is also round and blue. Dave who is considered nice was feeling rather rough today. People think that Eric is round. This might be because he is young and blue. In the snow sits Gary, crying from being cold. If a red person is cold and kind to others, they also tend to be blue. You'll always find a young, kind and red person to be a cold person, too. Being kind and young means that if they are also blue, they are always red. All nice people are young.
Gary is young.
@0: Charlie is big.[(triple5)] Charlie is blue.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Dave is nice.[(triple7)] Dave is rough.[(triple6)] Eric is blue.[(triple10)] Eric is round.[(triple9)] Eric is young.[(triple8)] Gary is cold.[(triple11)] @1: Charlie is young.[(((triple2) -> rule4))] Dave is young.[(((triple7) -> rule4))] @2: Charlie is red.[(((triple4 triple3 ((triple2) -> rule4)) -> rule3))] @3: Charlie is cold.[(((triple3 ((triple2) -> rule4) ((triple4 triple3 ((triple2) -> rule4)) -> rule3)) -> rule2))]