Big Charlie is young and rough but also very nice in a green sorta way. Dave is rough and red, but he is still young; he is still blue with youth. Big, red Eric is quite kind. Kind young people are red. Someone who is both red and blue will also be a nice person. Lucky for us, people that are round and red are kind to strangers. Show me someone who is cold and kind, and I'll show you how green they are. People who are rough and nice and blue can be round. Someone who tends to be icy cold and rough but secretly nice are generally very blue. People who are rough and cold, but also nice, are considered green.
Charlie is not young.
@0: Charlie is big.[(triple5)] Charlie is green.[(triple4)] Charlie is nice.[(triple3)] Charlie is rough.[(triple2)] Charlie is young.[(triple1)] Dave is blue.[(triple9)] Dave is red.[(triple8)] Dave is rough.[(triple7)] Dave is young.[(triple6)] Eric is big.[(triple12)] Eric is kind.[(triple11)] Eric is red.[(triple10)] @1: Dave is nice.[(((triple8 triple9) -> rule2))] @2: Dave is round.[(((triple7 ((triple8 triple9) -> rule2) triple9) -> rule5))] @3: Dave is kind.[(((((triple7 ((triple8 triple9) -> rule2) triple9) -> rule5) triple8) -> rule3))]