Alan wears all blue. Bob, a green man, was also big, but underneath he was kind. Charlie is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish. Fred ate some rotten meat and now feels green. A big person who feels cold and has blue skin is a nice person. A kind, cold, round person will be nice in addition. Anybody that is big is also someone who is going to be blue. If a human is both young and kind, they are also cold. As someone can be round and rough, they can also be nice and kind. People that are green tend to be young. Being kind and young means that if they are also blue, they are always red.
Bob is young.
@0: Alan is blue.[(triple1)] Bob is big.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Charlie is green.[(triple8)] Charlie is kind.[(triple7)] Charlie is red.[(triple6)] Charlie is rough.[(triple5)] Fred is green.[(triple9)] @1: Bob is blue.[(((triple4) -> rule3))] Bob is young.[(((triple3) -> rule6))] Charlie is young.[(((triple8) -> rule6))] Fred is young.[(((triple9) -> rule6))] @2: Bob is cold.[(((((triple3) -> rule6) triple2) -> rule4))] Bob is red.[(((((triple4) -> rule3) triple2 ((triple3) -> rule6)) -> rule7))] Charlie is cold.[(((((triple8) -> rule6) triple7) -> rule4))] @3: Bob is nice.[(((((((triple3) -> rule6) triple2) -> rule4) ((triple4) -> rule3) triple4) -> rule1))]