Alan has big, red cheeks with a rough texture. He always wear green sweaters because he is easily cold. Bob is still young, which explains why he is round and cold, however, most people still think Bob is nice. The young person who is always feeling cold is named Dave. Gary seems to be round. Do not fear big cold people for they are often kind. Jan is nice and rough, she can be blue in the winter which makes her cold. Cold and red people are always kind to others. A round shaped kind person who is colored green will be cold natured. People who are young are also blue. When someone is blue, nice and young they will also be as big as the sun.
Dave is not red.
@0: Alan is big.[(triple5)] Alan is cold.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Bob is cold.[(triple9)] Bob is nice.[(triple8)] Bob is round.[(triple7)] Bob is young.[(triple6)] Dave is cold.[(triple11)] Dave is young.[(triple10)] Gary is round.[(triple12)] @1: Alan is kind.[(((triple4 triple2) -> rule3) OR ((triple4 triple5) -> rule1))] Bob is blue.[(((triple6) -> rule5))] Dave is blue.[(((triple10) -> rule5))] @2: Bob is big.[(((triple6 ((triple6) -> rule5) triple8) -> rule6))] @3: Bob is kind.[(((triple9 ((triple6 ((triple6) -> rule5) triple8) -> rule6)) -> rule1))]