When he was found Alan was an icy cold blue. Being green and not used to country life Alan didn't know that being kind and round would get him trapped in a snowstorm. Alan is red with embarrassment. In the snow sits Charlie, crying from being cold. Rough and kind people are big. Anyone perceived to be rough, cold and kind will also be nice. A big, nice, blue person is likely to be young. Rough young folks are surprisingly kind. A person that is round, green, and blue is usually considered cold. You will find most green,cold and blue people to be rough.
Alan is not blue.
@0: Alan is blue.[(triple6)] Alan is cold.[(triple5 OR ((triple1 triple4 triple6) -> rule5))] Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Charlie is cold.[(triple7)] @1: Alan is rough.[(((triple4 triple5 triple6) -> rule6) OR ((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6))] @2: Alan is big.[(((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) OR ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1))] Alan is nice.[(((((triple4 triple5 triple6) -> rule6) triple5 triple3) -> rule2) OR ((((triple4 triple5 triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) OR ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple5 triple3) -> rule2) OR ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2))] @3: Alan is young.[(((((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) ((((triple4 triple5 triple6) -> rule6) triple5 triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) ((((triple4 triple5 triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple5 triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1) ((((triple4 triple5 triple6) -> rule6) triple5 triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 triple5 triple6) -> rule6) triple3) -> rule1) ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1) ((((triple4 triple5 triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1) ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple5 triple3) -> rule2) triple6) -> rule3) OR ((((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) triple3) -> rule1) ((((triple4 ((triple1 triple4 triple6) -> rule5) triple6) -> rule6) ((triple1 triple4 triple6) -> rule5) triple3) -> rule2) triple6) -> rule3))]