Young Alan is already big and has rough, red skin from working outdoors.  Alan is kind but is feeling blue because of family troubles. Bob is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Harry is rough around the edges, but he's often blue and always nice. Someone who feels blue with rough skin is also kind and will be young. Nice people who are big are always cold because they can't find space near the heater. Humans who are nice to others while they are young and red will also be green. Looking blue can be a sign that someone is cold. A person who is cold, rough and young is also nice. Kind people, for example, like the ones at the bank are always blue.
Alan is not nice.
@0: Alan is big.[(triple6)] Alan is blue.[(triple5 OR ((triple4) -> rule6))] Alan is kind.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1 OR ((triple4 triple5 triple2) -> rule1) OR ((triple4 ((triple4) -> rule6) triple2) -> rule1))] Bob is blue.[(triple9)] Bob is nice.[(triple8)] Bob is round.[(triple7)] Harry is blue.[(triple12)] Harry is nice.[(triple11)] Harry is rough.[(triple10)] @1: Alan is cold.[(((triple5) -> rule4) OR ((((triple4) -> rule6)) -> rule4))] Bob is cold.[(((triple9) -> rule4))] Harry is cold.[(((triple12) -> rule4))] @2: Alan is nice.[(((((triple5) -> rule4) triple1 triple2) -> rule5) OR ((((triple5) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) OR ((((((triple4) -> rule6)) -> rule4) triple1 triple2) -> rule5) OR ((((triple5) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) OR ((((((triple4) -> rule6)) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) OR ((((((triple4) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5))] @3: Alan is green.[(((((((triple5) -> rule4) triple1 triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) triple1 triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) triple1 triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) triple1 triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) triple1 triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) triple1 triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) triple1 triple3) -> rule3) OR ((((((triple5) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 triple5 triple2) -> rule1) triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) ((triple4 triple5 triple2) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple2) -> rule5) ((triple4 ((triple4) -> rule6) triple2) -> rule1) triple3) -> rule3))]