Even though he's a big dude, Alan is cold. They always call him rough Dave. Blue and green, cold but kind, young Fred is also quite round. In the snow sits Gary, crying from being cold. Young, green round people are big. When a person can be described as blue, rough and round, you can call them nice at the same time. When a nice blue person is also red, they get called rough. It is true that kind people who have become cold and blue and survived are necessarily big. Green people will be nice even when they have been rough. If you are big and young then your are also nice.
Dave is big.
@0: Alan is big.[(triple2)] Alan is cold.[(triple1)] Dave is rough.[(triple3)] Fred is blue.[(triple9)] Fred is cold.[(triple8)] Fred is green.[(triple7)] Fred is kind.[(triple6)] Fred is round.[(triple5)] Fred is young.[(triple4)] Gary is cold.[(triple10)] @1: Fred is big.[(((triple7 triple4 triple5) -> rule1) OR ((triple9 triple8 triple6) -> rule4))] @2: Fred is nice.[(((((triple7 triple4 triple5) -> rule1) triple4) -> rule6) OR ((((triple9 triple8 triple6) -> rule4) triple4) -> rule6))] @3: Fred is rough.[(((triple7 ((((triple7 triple4 triple5) -> rule1) triple4) -> rule6)) -> rule5) OR ((triple7 ((((triple9 triple8 triple6) -> rule4) triple4) -> rule6)) -> rule5))]