Bod is round so he's green with envy of anyone who is not. But Alan is also young and nice so it's easy for him to be kind to others anyway. Eric is very big for being so young. Fred feels blue because the other kids made fun of his round shape. Harry wears a green and red coat, but is always cold. You'll find that a green, round person tends to be rough with other people. Kind red people are also fairly cold and take getting to know. A guy or girl that's round, kind and young is going to be a big girl or guy, too. People who are big, green, and rough are bound to be red. A human that is cold and also green is also going to be blue. All rough people are big in some way.
Fred is cold.
@0: Alan is green.[(triple5)] Alan is kind.[(triple4)] Alan is nice.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Eric is big.[(triple7)] Eric is young.[(triple6)] Fred is blue.[(triple9)] Fred is round.[(triple8)] Harry is cold.[(triple12)] Harry is green.[(triple11)] Harry is red.[(triple10)] @1: Alan is big.[(((triple2 triple1 triple4) -> rule3) OR ((((triple2 triple5) -> rule1)) -> rule6))] Alan is rough.[(((triple2 triple5) -> rule1))] Harry is blue.[(((triple12 triple11) -> rule5))] @2: Alan is red.[(((((triple2 triple1 triple4) -> rule3) triple5 ((triple2 triple5) -> rule1)) -> rule4) OR ((((((triple2 triple5) -> rule1)) -> rule6) triple5 ((triple2 triple5) -> rule1)) -> rule4))] @3: Alan is cold.[(((((((triple2 triple1 triple4) -> rule3) triple5 ((triple2 triple5) -> rule1)) -> rule4) triple4) -> rule2) OR ((((((((triple2 triple5) -> rule1)) -> rule6) triple5 ((triple2 triple5) -> rule1)) -> rule4) triple4) -> rule2))] @4: Alan is blue.[(((((((((triple2 triple1 triple4) -> rule3) triple5 ((triple2 triple5) -> rule1)) -> rule4) triple4) -> rule2) triple5) -> rule5) OR ((((((((((triple2 triple5) -> rule1)) -> rule6) triple5 ((triple2 triple5) -> rule1)) -> rule4) triple4) -> rule2) triple5) -> rule5))]