Red Charlie is what folks call him, because he is quite red. Young Dave is a round fellow: sometimes nice, sometimes rough. Fred, like all young people, is nice. Harry is a cold young man. He is prone the being blue with sadness because he is green with envy. If people are nice and round, they look red. Find someone cold and green. If they are also round, then they are sure to be nice. Blue people who are cold are always round in shape. People with big hands and red, rough skin are terribly kind. A rough, big soul is sure to be nice, too. All men who happen to be red and big, will also be blue. Young and nice people are ultimately cold.
Charlie is not rough.
@0: Charlie is red.[(triple1)] Dave is nice.[(triple5)] Dave is rough.[(triple4)] Dave is round.[(triple3)] Dave is young.[(triple2)] Fred is nice.[(triple7)] Fred is young.[(triple6)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is green.[(triple9)] Harry is young.[(triple8)] @1: Dave is cold.[(((triple2 triple5) -> rule7))] Dave is red.[(((triple5 triple3) -> rule1))] Fred is cold.[(((triple6 triple7) -> rule7))] Harry is round.[(((triple11 triple10) -> rule3))] @2: Harry is nice.[(((triple10 triple9 ((triple11 triple10) -> rule3)) -> rule2))] @3: Harry is red.[(((((triple10 triple9 ((triple11 triple10) -> rule3)) -> rule2) ((triple11 triple10) -> rule3)) -> rule1))]