Charlie has been blue because he's green with envy. Dave is young and is kind.  Being big makes Dave blue. Eric is never rough or feeling blue. He is a very nice and kind neighbor. If you come across a cold, red person with a round shape you'll find they are nice people. Cold and rough people are usually red. Rough, big people are always round, no matter what. Young people who are big are often rough. If a person is both rough and round, you know they are also red. Big and round people,though cold,are often nice.
Dave is not red.
@0: Charlie is blue.[(triple2)] Charlie is green.[(triple1)] Dave is big.[(triple6)] Dave is blue.[(triple5)] Dave is kind.[(triple4)] Dave is young.[(triple3)] Eric is blue.[(triple10)] Eric is kind.[(triple9)] Eric is nice.[(triple8)] Eric is rough.[(triple7)] @1: Dave is rough.[(((triple3 triple6) -> rule4))] @2: Dave is round.[(((((triple3 triple6) -> rule4) triple6) -> rule3))] @3: Dave is red.[(((((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple6) -> rule3)) -> rule5))]