Alan had big, red, round cheeks. Big Dave is still young so it's easy for him to be kind. Fred ate some rotten meat and now feels green. Even though Harry is still young, he is already very round.  Harry is a nice guy and when he gets cold his skin turns blue. When a young person has a round shape and feels blue, they will be green as well. Santa Claus is red and kind. He is also very nice, especially to children. A nice person who is always seen to be wearing green clothes will be rather big in size. Anyone who's got young, round and big traits is bound to have a red trait, too. A big and round shaped, blue person will be cold for sure. Round, nice people are normally cold and nasty.
Harry is cold.
@0: Alan is big.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Dave is big.[(triple6)] Dave is kind.[(triple5)] Dave is young.[(triple4)] Fred is green.[(triple7)] Harry is blue.[(triple12)] Harry is cold.[(triple11 OR ((triple9 triple10) -> rule6) OR ((triple9 triple12 ((((triple12 triple9 triple8) -> rule1) triple10) -> rule3)) -> rule5))] Harry is nice.[(triple10)] Harry is round.[(triple9)] Harry is young.[(triple8)] @1: Harry is green.[(((triple12 triple9 triple8) -> rule1))] @2: Harry is big.[(((((triple12 triple9 triple8) -> rule1) triple10) -> rule3))] @3: Harry is red.[(((triple8 ((((triple12 triple9 triple8) -> rule1) triple10) -> rule3) triple9) -> rule4))]