Due to the fact that Charlie is young, he is red and green. He remains kind nevertheless. That Dave is as round and red as a cherry, and twice as kind. Eric, like all young people, is nice. Fred wears all blue. A round and nice person will certainly have a red tint to them. Young people that are blue will still be kind because they are rough to the touch. If a kind, red person is also feeling blue then he will be cold to outsiders. Red people feel blue about it. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.
Fred is not green.
@0: Charlie is green.[(triple4)] Charlie is kind.[(triple3)] Charlie is red.[(triple2)] Charlie is young.[(triple1)] Dave is kind.[(triple7)] Dave is red.[(triple6)] Dave is round.[(triple5)] Eric is nice.[(triple9)] Eric is young.[(triple8)] Fred is blue.[(triple10)] @1: Charlie is blue.[(((triple2) -> rule4))] Dave is blue.[(((triple6) -> rule4))] @2: Charlie is cold.[(((triple3 triple2 ((triple2) -> rule4)) -> rule3))] Charlie is rough.[(((((triple2) -> rule4) triple1 triple3) -> rule2))] Dave is cold.[(((triple7 triple6 ((triple6) -> rule4)) -> rule3))] @3: Dave is green.[(((((triple7 triple6 ((triple6) -> rule4)) -> rule3) ((triple6) -> rule4) triple5) -> rule5))]