Young Charlie is kind and perpetually cold, especially during the winter holidays when he is green and red. Dave is very nice to people, but he's also rather big. Eric always goes out of his way to show that he is kind to people. Gary ate some rotten meat and now feels green. If a red person is cold and kind to others, they also tend to be blue. A round person who is nice and feelin cold is usually rough in apperance. Someone who is young and nice is often round. Rough young folks are surprisingly kind. Rough people will often be blue.  They thrive on being kind and nice. A nice and young aged person will definitely be green in color. A young blue person that is kind is known for being extra nice to others, too.
Charlie is not green.
@0: Charlie is cold.[(triple5)] Charlie is green.[(triple4 OR ((((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7) triple1) -> rule6))] Charlie is kind.[(triple3)] Charlie is red.[(triple2)] Charlie is young.[(triple1)] Dave is big.[(triple7)] Dave is nice.[(triple6)] Eric is kind.[(triple8)] Gary is green.[(triple9)] @1: Charlie is blue.[(((triple5 triple3 triple2) -> rule1))] @2: Charlie is nice.[(((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7))] @3: Charlie is round.[(((triple1 ((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7)) -> rule3))] @4: Charlie is rough.[(((((triple1 ((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7)) -> rule3) ((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7) triple5) -> rule2))]