The diving trip left Bob red and green all over, yet he remains the nice (though rather rough) guy he always has been. Red Gary is what folks call him, because he is quite red. Harry is a cold young man. He is prone the being blue with sadness because he is green with envy. A green, downhearted, and blue person with red cheeks is big. I've found that people with rough skin tend to be really nice but they also often feel blue. Anybody with big, rough and nice qualities is bound to also be young. People with blue and red skin color are also green.
Gary is not blue.
@0: Bob is green.[(triple4 OR ((((triple1 triple3) -> rule2) triple2) -> rule4))] Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Gary is red.[(triple5)] Harry is blue.[(triple9)] Harry is cold.[(triple8)] Harry is green.[(triple7)] Harry is young.[(triple6)] @1: Bob is blue.[(((triple1 triple3) -> rule2))] @2: Bob is big.[(((((triple1 triple3) -> rule2) triple2 triple4) -> rule1) OR ((((triple1 triple3) -> rule2) triple2 ((((triple1 triple3) -> rule2) triple2) -> rule4)) -> rule1))] @3: Bob is young.[(((((((triple1 triple3) -> rule2) triple2 triple4) -> rule1) triple1 triple3) -> rule3) OR ((((((triple1 triple3) -> rule2) triple2 ((((triple1 triple3) -> rule2) triple2) -> rule4)) -> rule1) triple1 triple3) -> rule3))]