Upon meeting Alan, you'll notice he's green and kind. Bob often feels a bit blue and tends to run on the cold side while also being very nice and red. The diving trip left Charlie red and green all over, yet he remains the nice (though rather rough) guy he always has been. Anyone who manages to be round, blue, and green must be pretty big. If a person is blue, rough, and green, then they are also big. Rough and cold and blue people are round. Despite being kind cold people with red ears will still be big. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. It is true that anyone who is cold while being young and nice is secretly a kind person. All nice people are young.
Charlie is not young.
@0: Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is blue.[(triple6)] Bob is cold.[(triple5)] Bob is nice.[(triple4)] Bob is red.[(triple3)] Charlie is green.[(triple10)] Charlie is nice.[(triple9)] Charlie is red.[(triple8)] Charlie is rough.[(triple7)] @1: Bob is young.[(((triple4) -> rule7))] Charlie is young.[(((triple9) -> rule7))] @2: Bob is kind.[(((triple4 triple5 ((triple4) -> rule7)) -> rule6))] @3: Bob is big.[(((triple5 triple3 ((triple4 triple5 ((triple4) -> rule7)) -> rule6)) -> rule4))]