Bob was born only a few years ago so he is young. In the snow sits Charlie, crying from being cold. Dave was green with envy. Though everyone thought he was a nice, young guy he was always blue. He would only focus on how round he was compared to others. Harry is known to be rough and green. When someone is nice and rough they are usually red. Look for the blue and green people, they are kind and will give you directions if you're lost. Young people that are blue will still be kind because they are rough to the touch. Nice people who are big are always feeling blue.
Harry is not blue.
@0: Bob is young.[(triple1)] Charlie is cold.[(triple2)] Dave is blue.[(triple7)] Dave is green.[(triple6)] Dave is nice.[(triple5)] Dave is round.[(triple4)] Dave is young.[(triple3)] Harry is green.[(triple9)] Harry is rough.[(triple8)] @1: Dave is kind.[(((triple7 triple6) -> rule2))] @2: Dave is rough.[(((triple7 triple3 ((triple7 triple6) -> rule2)) -> rule3))] @3: Dave is red.[(((triple5 ((triple7 triple3 ((triple7 triple6) -> rule2)) -> rule3)) -> rule1))]