Charlie ate some rotten meat and now feels green. Dave, is a rather young, rough, and round person who is considered kind.  Today however he is red from a sunburn and looks green after seeing some rather rotten trash. Eric wears all blue. Harry is big and green, which is good, because he is also cold and blue. A kind, round person will surely be red as well. People who can be kind when they are cold are fundamentally nice. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. Kind people who are blue with sadness and cold toward others are surprisingly red. It's just a fact that a blue person is a kind person.
Eric is not young.
@0: Charlie is green.[(triple1)] Dave is green.[(triple7)] Dave is kind.[(triple6)] Dave is red.[(triple5 OR ((triple6 triple3) -> rule1))] Dave is rough.[(triple4)] Dave is round.[(triple3)] Dave is young.[(triple2)] Eric is blue.[(triple8)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is green.[(triple9)] @1: Eric is kind.[(((triple8) -> rule5))] Harry is kind.[(((triple11) -> rule5))] @2: Harry is nice.[(((((triple11) -> rule5) triple10) -> rule2))] Harry is red.[(((triple10 ((triple11) -> rule5) triple11) -> rule4))] @3: Harry is young.[(((((((triple11) -> rule5) triple10) -> rule2) triple12 ((triple11) -> rule5)) -> rule3))]