Red Charlie is what folks call him, because he is quite red. Upon meeting Dave, you'll notice he's green and kind. Gary is rough and green, but he's also nice, kind and round. Even though Harry is young, he is still very round and still very red. A nice person who is green is feeling cold. A person with rough skin who has been standing in the cold will turn red. Round, rough people blue with sadness turn out to be green. If a person is red and green, then they will present as big. If a big person is cold and nice, then they are green. Young,cold and blue people are mostly round.
Dave is cold.
@0: Charlie is red.[(triple1)] Dave is green.[(triple3)] Dave is kind.[(triple2)] Gary is green.[(triple8)] Gary is kind.[(triple7)] Gary is nice.[(triple6)] Gary is rough.[(triple5)] Gary is round.[(triple4)] Harry is red.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Gary is cold.[(((triple8 triple6) -> rule1))] @2: Gary is red.[(((((triple8 triple6) -> rule1) triple5) -> rule2))] @3: Gary is big.[(((((((triple8 triple6) -> rule1) triple5) -> rule2) triple8) -> rule4))]