Alan is big in stature, blue from the cold, has red hair and is kind. Most people see Charlie as round, albeit nice and big at the same time. Gary ate some rotten meat and now feels green. Although Harry is young and nice, he is as cold as ice. People who are big and kind are also round. A round person who is nice and feelin cold is usually rough in apperance. People who are round, blue and cold are usually nice. Blue people who are cold are always round in shape. Big, round, red people are always so young. Blue and red people who are young always have rough skin.
Charlie is not young.
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Charlie is big.[(triple8)] Charlie is nice.[(triple7)] Charlie is round.[(triple6)] Gary is green.[(triple9)] Harry is cold.[(triple12)] Harry is nice.[(triple11)] Harry is young.[(triple10)] @1: Alan is round.[(((triple2 triple5) -> rule1) OR ((triple4 triple3) -> rule4))] @2: Alan is nice.[(((((triple2 triple5) -> rule1) triple4 triple3) -> rule3) OR ((((triple4 triple3) -> rule4) triple4 triple3) -> rule3))] Alan is young.[(((triple5 ((triple2 triple5) -> rule1) triple1) -> rule5) OR ((triple5 ((triple4 triple3) -> rule4) triple1) -> rule5))] @3: Alan is rough.[(((triple4 triple1 ((triple5 ((triple2 triple5) -> rule1) triple1) -> rule5)) -> rule6) OR ((triple4 triple1 ((triple5 ((triple4 triple3) -> rule4) triple1) -> rule5)) -> rule6) OR ((((triple2 triple5) -> rule1) ((((triple2 triple5) -> rule1) triple4 triple3) -> rule3) triple3) -> rule2) OR ((((triple2 triple5) -> rule1) ((((triple4 triple3) -> rule4) triple4 triple3) -> rule3) triple3) -> rule2) OR ((((triple4 triple3) -> rule4) ((((triple2 triple5) -> rule1) triple4 triple3) -> rule3) triple3) -> rule2) OR ((((triple4 triple3) -> rule4) ((((triple4 triple3) -> rule4) triple4 triple3) -> rule3) triple3) -> rule2))]