Bob, who is relatively young, is also pretty big and tends to be cold. For being so cold, it's good Charlie can remain nice. The young person who is always feeling cold is named Dave. That guy Fred sure is nice. If you're truly nice, cold, and blue, you're kind, too. Every single big person is a little green in some areas. Someone who has young, nice and cold qualities will possess a red quality, too. Big, young people with green color are rather rough. When you run into someone who is rough and green at the same time, they will also be red.
Bob is not rough.
@0: Bob is big.[(triple3)] Bob is cold.[(triple2)] Bob is young.[(triple1)] Charlie is cold.[(triple5)] Charlie is nice.[(triple4)] Dave is cold.[(triple7)] Dave is young.[(triple6)] Fred is nice.[(triple8)] @1: Bob is green.[(((triple3) -> rule2))] @2: Bob is rough.[(((triple3 triple1 ((triple3) -> rule2)) -> rule4))] @3: Bob is red.[(((((triple3 triple1 ((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule5))]