In the snow sits Charlie, crying from being cold. Dave was a complicated man. He was rough and red, yet nice and kind. He was as cold as he was blue. Gary is colored red and green. He is a nice young man and is also very big. If you meet a young, round person who is nice on the street, offer them your coat because they are cold. Most young and nice people will be kind. You will discover that green rough people are always red. If a person is red, kind, and nice then they must be round.
Charlie is not kind.
@0: Charlie is cold.[(triple1)] Dave is blue.[(triple7)] Dave is cold.[(triple6)] Dave is kind.[(triple5)] Dave is nice.[(triple4)] Dave is red.[(triple3)] Dave is rough.[(triple2)] Gary is big.[(triple12)] Gary is green.[(triple11)] Gary is nice.[(triple10)] Gary is red.[(triple9)] Gary is young.[(triple8)] @1: Dave is round.[(((triple4 triple3 triple5) -> rule4))] Gary is kind.[(((triple8 triple10) -> rule2))] @2: Gary is round.[(((triple10 triple9 ((triple8 triple10) -> rule2)) -> rule4))] @3: Gary is cold.[(((((triple10 triple9 ((triple8 triple10) -> rule2)) -> rule4) triple10 triple8) -> rule1))]