Bob is green and cold too. Fred is green and cold too. When Gary walks around the neighborhood being nice and kind, the closer you get to him you can tell he is blue and red. People who are very nice and easily flush red are often wearing green concealer. People who are said to be big and nice are round. Any person who can be red and blue at the same time is cold. If you ever meet someone who is both green and blue while being nice, then they'll be big, too. Red people, who are also round and young, are often quite blue as well.
Bob is not big.
@0: Bob is cold.[(triple2)] Bob is green.[(triple1)] Fred is cold.[(triple4)] Fred is green.[(triple3)] Gary is blue.[(triple8)] Gary is kind.[(triple7)] Gary is nice.[(triple6)] Gary is red.[(triple5)] @1: Gary is cold.[(((triple5 triple8) -> rule3))] Gary is green.[(((triple6 triple5) -> rule1))] @2: Gary is big.[(((((triple6 triple5) -> rule1) triple8 triple6) -> rule4))] @3: Gary is round.[(((((((triple6 triple5) -> rule1) triple8 triple6) -> rule4) triple6) -> rule2))]