Alan is a person both green and big. Being young, Charlie is still green and blue. Harry associated himself with green despite being covered head-to-toe in blue. Him being young and kind preceded him. Big, young people feel cold all the time. Nice and blue people have to be big as well. A nice and blue person who's also red will be a rough person. A rough person who is young and nice is also red. Anyone you find who happens to be kind and blue will also be very nice.
Harry is big.
@0: Alan is big.[(triple2)] Alan is green.[(triple1)] Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is young.[(triple3)] Harry is blue.[(triple9)] Harry is green.[(triple8)] Harry is kind.[(triple7)] Harry is young.[(triple6)] @1: Harry is nice.[(((triple7 triple9) -> rule5))] @2: Harry is big.[(((((triple7 triple9) -> rule5) triple9) -> rule2))] @3: Harry is cold.[(((triple6 ((((triple7 triple9) -> rule5) triple9) -> rule2)) -> rule1))]