Alan, a green man, was also big, but underneath he was kind. Charlie gets red when he is mad and tends to act very cold. Eric's a round guy, and a red and green guy. It's said that any person with blue skin, round bones, and big feet is kind. Anybody that is big is also someone who is going to be blue. Big, kind, and nice people are often red in color. People who are round and young are also quite nice. People who are red and green are also nice. If somebody has the characteristics of being blue, rough and green, they are also going to be cold. A person that is green also someone who is big.
Alan is not blue.
@0: Alan is big.[(triple3 OR ((triple2) -> rule7))] Alan is green.[(triple2)] Alan is kind.[(triple1)] Charlie is cold.[(triple5)] Charlie is red.[(triple4)] Eric is green.[(triple8)] Eric is red.[(triple7)] Eric is round.[(triple6)] @1: Alan is blue.[(((triple3) -> rule2) OR ((((triple2) -> rule7)) -> rule2))] Eric is big.[(((triple8) -> rule7))] Eric is nice.[(((triple8 triple7) -> rule5))] @2: Eric is blue.[(((((triple8) -> rule7)) -> rule2))] @3: Eric is kind.[(((((((triple8) -> rule7)) -> rule2) triple6 ((triple8) -> rule7)) -> rule1))]