Red Alan is what folks call him, because he is quite red. Upon meeting Charlie, you'll notice he's green and kind. Dave looks red to most people, with blue features. Fred is big and rough. Red, big people can't help but be round as well. A nice and blue person who's also red will be a rough person. A person that is blue green and nice are that way because they are still young. In every case of people being kind and blue and green, we find they are concurrently nice. Someone who is colored both in red and green, while being kind to others, is a round person. Incredible as it may seem, young people who are red and have kind attitudes are always round. Kind people, for example, like the ones at the bank are always blue.
Fred is not young.
@0: Alan is red.[(triple1)] Charlie is green.[(triple3)] Charlie is kind.[(triple2)] Dave is blue.[(triple5)] Dave is red.[(triple4)] Fred is big.[(triple7)] Fred is rough.[(triple6)] @1: Charlie is blue.[(((triple2) -> rule7))] @2: Charlie is nice.[(((triple2 ((triple2) -> rule7) triple3) -> rule4))] @3: Charlie is young.[(((((triple2) -> rule7) triple3 ((triple2 ((triple2) -> rule7) triple3) -> rule4)) -> rule3))]