Red Charlie is what folks call him, because he is quite red. Dave ate some rotten meat and now feels green. Eric is nice and kind. He is green with envy which makes him feel blue. Gary was born only a few years ago so he is young. A round person who is nice and feelin cold is usually rough in apperance. A green person who is kind and a bit blue is young. If you meet a nice, young, red man, you will see that they are big too. Round, rough people blue with sadness turn out to be green. Any big, kind person that turns red is cold to the touch. Being green, blue, and red all point to how young someone was. It's true that green and blue people are also red people.
Eric is not cold.
@0: Charlie is red.[(triple1)] Dave is green.[(triple2)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Eric is kind.[(triple4)] Eric is nice.[(triple3)] Gary is young.[(triple7)] @1: Eric is red.[(((triple5 triple6) -> rule7))] Eric is young.[(((triple6 triple4 triple5) -> rule2) OR ((triple5 triple6 ((triple5 triple6) -> rule7)) -> rule6))] @2: Eric is big.[(((((triple6 triple4 triple5) -> rule2) triple3 ((triple5 triple6) -> rule7)) -> rule3) OR ((((triple5 triple6 ((triple5 triple6) -> rule7)) -> rule6) triple3 ((triple5 triple6) -> rule7)) -> rule3))] @3: Eric is cold.[(((((triple5 triple6) -> rule7) ((((triple6 triple4 triple5) -> rule2) triple3 ((triple5 triple6) -> rule7)) -> rule3) triple4) -> rule5) OR ((((triple5 triple6) -> rule7) ((((triple5 triple6 ((triple5 triple6) -> rule7)) -> rule6) triple3 ((triple5 triple6) -> rule7)) -> rule3) triple4) -> rule5))]