Alan is considered to be a rather nice person who is also described as being kind, green and big. Bob always goes out of his way to show that he is kind to people. This Fred guy is red. He is also kind and yet cold. Harry wears all blue. All kind, red, and young people are also nice. People that tend to be big and green also tend to be cold. Anyone that is a red, nice soul will be big, too. Someone who happens to be cold and green and big all at once must also be round in shape. If a person has round shape then they are also green and red.
Alan is cold.
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is nice.[(triple1)] Bob is kind.[(triple5)] Fred is cold.[(triple8)] Fred is kind.[(triple7)] Fred is red.[(triple6)] Harry is blue.[(triple9)] @1: Alan is cold.[(((triple4 triple3) -> rule2))] @2: Alan is round.[(((((triple4 triple3) -> rule2) triple3 triple4) -> rule4))] @3: Alan is red.[(((triple3 ((((triple4 triple3) -> rule2) triple3 triple4) -> rule4)) -> rule5))]