Bob wears all blue. Dave is young and big in stature.  He is cold but nice. Others enjoy Eric's company because he is so nice and kind. Even though he's young and green, Gary is rough. When you meet someone round, blue and nice they are as a rule rough. Round people who feel rough also always feel cold,. Young round folks who are at least a bit red are actually nice. People who always wear red and act in a kind manner towards everyone they meet also have a round body. Big and cold people are likely to be round, too. If a nice person is round shaped, they feel blue about it. Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.
Dave is not green.
@0: Bob is blue.[(triple1)] Dave is big.[(triple5)] Dave is cold.[(triple4)] Dave is nice.[(triple3)] Dave is young.[(triple2)] Eric is kind.[(triple7)] Eric is nice.[(triple6)] Gary is green.[(triple10)] Gary is rough.[(triple9)] Gary is young.[(triple8)] @1: Dave is round.[(((triple5 triple4) -> rule5))] @2: Dave is blue.[(((triple3 ((triple5 triple4) -> rule5)) -> rule6))] @3: Dave is rough.[(((((triple3 ((triple5 triple4) -> rule5)) -> rule6) triple3 ((triple5 triple4) -> rule5)) -> rule1))]