Alan is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Bob is rough and cold, but he's young and will get over it. Gary is both young and fairly round in size. Harry is so big, he is often blue, but always kind. A depressed person feeling blue who is kind cannot escape from being green. People who always wear red and act in a kind manner towards everyone they meet also have a round body. A rough and round person is also a big person. A rather round and green person will be red. It's true that green and blue people are also red people.
Gary is not rough.
@0: Alan is blue.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Bob is cold.[(triple6)] Bob is rough.[(triple5)] Bob is young.[(triple4)] Gary is round.[(triple8)] Gary is young.[(triple7)] Harry is big.[(triple11)] Harry is blue.[(triple10)] Harry is kind.[(triple9)] @1: Harry is green.[(((triple10 triple9) -> rule1))] @2: Harry is red.[(((((triple10 triple9) -> rule1) triple10) -> rule5))] @3: Harry is round.[(((((((triple10 triple9) -> rule1) triple10) -> rule5) triple9) -> rule2))]