Charlie has been blue because he's green with envy. Dave is a young person who often feels blue and cold. Young Eric is nice and round.  When he's cold, he is also quite rough. Fred has been blue because he's green with envy. Big, young people have a tendancy to be blue. Kind and round people are often cold to people. When people are still young, the blue and round ones will also be a bit red. A rough person will also be a cold person. A person who is attending school will be quite young and always wearing green and red clothing is always going to be nice to you. All rough people are big in some way.
Eric is not red.
@0: Charlie is blue.[(triple2)] Charlie is green.[(triple1)] Dave is blue.[(triple5)] Dave is cold.[(triple4)] Dave is young.[(triple3)] Eric is cold.[(triple10 OR ((triple8) -> rule4))] Eric is nice.[(triple9)] Eric is rough.[(triple8)] Eric is round.[(triple7)] Eric is young.[(triple6)] Fred is blue.[(triple12)] Fred is green.[(triple11)] @1: Eric is big.[(((triple8) -> rule6))] @2: Eric is blue.[(((triple6 ((triple8) -> rule6)) -> rule1))] @3: Eric is red.[(((((triple6 ((triple8) -> rule6)) -> rule1) triple7 triple6) -> rule3))]