Alan tends to be blue because he is big and this makes him a little rough around the edges. Big Charlie is a young, round man. Eric is nice to people because he is a kind person. The past few weeks of bad weather have him blue, though. Big round people are usually blue. Kind and round people are often cold to people. People here that are big, young and blue will be red too. A young person who has been out in the cold with rough skin is also blue. If someone is round they could be red or blue, or green. Someone nice is kind.
Eric is big.
@0: Alan is big.[(triple3)] Alan is blue.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Eric is blue.[(triple9)] Eric is kind.[(triple8 OR ((triple7) -> rule6))] Eric is nice.[(triple7)] @1: Charlie is blue.[(((triple5 triple6) -> rule1))] @2: Charlie is red.[(((((triple5 triple6) -> rule1) triple4 triple6) -> rule3))] @3: Charlie is green.[(((((((triple5 triple6) -> rule1) triple4 triple6) -> rule3) ((triple5 triple6) -> rule1) triple5) -> rule5))]