The round, rough, and green one was labeled Bob after all. Charlie wears a green and red coat, but is always cold. If you meet Gary, you will know that he is young, red and kind. Someone with a nice, round, kind nature tends to be green. Blue people who are also green with envy are rough. Don't worry about asking a person who has skin that is green and red for a favor because they are nice. Young people that are nice and round are often big in size. A person that is big and rough will certainly be blue. People who are big, green, and rough are bound to be red. All rough people are big in some way.
Bob is rough.
@0: Bob is green.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Charlie is cold.[(triple6)] Charlie is green.[(triple5)] Charlie is red.[(triple4)] Gary is kind.[(triple9)] Gary is red.[(triple8)] Gary is young.[(triple7)] @1: Bob is big.[(((triple2) -> rule7))] Charlie is nice.[(((triple4 triple5) -> rule3))] @2: Bob is blue.[(((triple2 ((triple2) -> rule7)) -> rule5))] Bob is red.[(((((triple2) -> rule7) triple3 triple2) -> rule6))] @3: Bob is nice.[(((((((triple2) -> rule7) triple3 triple2) -> rule6) triple3) -> rule3))]