The diving trip left Bob red and green all over, yet he remains the nice (though rather rough) guy he always has been. That man standing next to you with a big round body goes by the name of Charlie. Dave wears all blue. Gary ate some rotten meat and now feels green. Nice people are kind and rough when they are young. Find someone big, blue, and kind, and you'll see they are also quite young. A young person who is red a kind is also usually big. People who are nice and rough are looked at as kind. A big and round shaped, blue person will be cold for sure.
Dave is not blue.
@0: Bob is green.[(triple4)] Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple6)] Charlie is round.[(triple5)] Dave is blue.[(triple7)] Gary is green.[(triple8)] @1: Bob is kind.[(((triple3 triple1) -> rule4))] @2: Bob is young.[(((triple3 ((triple3 triple1) -> rule4) triple1) -> rule1))] @3: Bob is big.[(((triple2 ((triple3 ((triple3 triple1) -> rule4) triple1) -> rule1) ((triple3 triple1) -> rule4)) -> rule3))]