They always call him rough Charlie. Dave's characteristics are that he is young, round, red, nice, kind, green and big. Fred ate some rotten meat and now feels green. Harry is a nice person, but he is both blue and red. A person who's big and kind will also be cold. A round person who is nice and feelin cold is usually rough in apperance. A young person with rough red skin is downhearted and blue. Round people who feel rough also always feel cold,. Young and kind people, that also tend to be cold, are then considered green.
Fred is not rough.
@0: Charlie is rough.[(triple1)] Dave is big.[(triple8)] Dave is green.[(triple7 OR ((triple2 triple6 ((triple8 triple6) -> rule1)) -> rule5))] Dave is kind.[(triple6)] Dave is nice.[(triple5)] Dave is red.[(triple4)] Dave is round.[(triple3)] Dave is young.[(triple2)] Fred is green.[(triple9)] Harry is blue.[(triple12)] Harry is nice.[(triple11)] Harry is red.[(triple10)] @1: Dave is cold.[(((triple8 triple6) -> rule1))] @2: Dave is rough.[(((triple3 triple5 ((triple8 triple6) -> rule1)) -> rule2))] @3: Dave is blue.[(((((triple3 triple5 ((triple8 triple6) -> rule1)) -> rule2) triple2 triple4) -> rule3))]