If you meet Charlie, you will know that he is young, red and kind. Dave wears a green and red coat, but is always cold. Big Gary is a young, round man. Harry feels blue because the other kids made fun of his round shape. If you come across a cold, red person with a round shape you'll find they are nice people. A cold, green person who is kind will tend to be blue. Don't worry about asking a person who has skin that is green and red for a favor because they are nice. I've noticed that big, blue people with rough skin are young. If a person is both rough and round, you know they are also red. When you meet a person who is cold and nice, you can bet they'll be kind too.
Dave is young.
@0: Charlie is kind.[(triple3)] Charlie is red.[(triple2)] Charlie is young.[(triple1)] Dave is cold.[(triple6)] Dave is green.[(triple5)] Dave is red.[(triple4)] Gary is big.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] Harry is blue.[(triple11)] Harry is round.[(triple10)] @1: Dave is nice.[(((triple4 triple5) -> rule3))] @2: Dave is kind.[(((triple6 ((triple4 triple5) -> rule3)) -> rule6))] @3: Dave is blue.[(((triple6 ((triple6 ((triple4 triple5) -> rule3)) -> rule6) triple5) -> rule2))]