Alan ate some rotten meat and now feels green. Fred is green, which is a possible explanation for why he is so nice. Gary is young and kind.  But he plays really rough with his friends. Even though he's a big dude, Harry is cold. Someone who is both red and blue will also be a nice person. Anyone that's rough and cold is also going to be blue. If a human is both young and kind, they are also cold. A person with big hair and rough lips is certainly young and jaded. Someone who is blue and cold is also big. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round. Kind people, for example, like the ones at the bank are always blue.
Gary is not big.
@0: Alan is green.[(triple1)] Fred is green.[(triple3)] Fred is nice.[(triple2)] Gary is kind.[(triple6)] Gary is rough.[(triple5)] Gary is young.[(triple4)] Harry is big.[(triple8)] Harry is cold.[(triple7)] @1: Gary is blue.[(((triple6) -> rule7) OR ((((triple4 triple6) -> rule3) triple5) -> rule2))] Gary is cold.[(((triple4 triple6) -> rule3))] @2: Gary is big.[(((((triple6) -> rule7) ((triple4 triple6) -> rule3)) -> rule5) OR ((((((triple4 triple6) -> rule3) triple5) -> rule2) ((triple4 triple6) -> rule3)) -> rule5))] @3: Gary is round.[(((((triple4 triple6) -> rule3) triple6 ((((triple6) -> rule7) ((triple4 triple6) -> rule3)) -> rule5)) -> rule6) OR ((((triple4 triple6) -> rule3) triple6 ((((((triple4 triple6) -> rule3) triple5) -> rule2) ((triple4 triple6) -> rule3)) -> rule5)) -> rule6))]