Most people see Alan as round, albeit nice and big at the same time. Charlie is a cold young man. He is prone the being blue with sadness because he is green with envy. Dave was born only a few years ago so he is young. Even though young Fred is red from his sunburn, his lips are blue because he is cold. Soon you will understand that big people are nice. Nice green people and often blue with sadness. Blue people who are cold are always round in shape. Nice people who are big are always cold because they can't find space near the heater. If a person is young and very kind then they will be rather big. Someone who is round like a dumpling and cold like an icicle are very young in age. A young, cold person is often blue.
Dave is not blue.
@0: Alan is big.[(triple3)] Alan is nice.[(triple2 OR ((triple3) -> rule1))] Alan is round.[(triple1)] Charlie is blue.[(triple7 OR ((triple6 triple4) -> rule7))] Charlie is cold.[(triple6)] Charlie is green.[(triple5)] Charlie is young.[(triple4 OR ((((triple7 triple6) -> rule3) triple6) -> rule6))] Dave is young.[(triple8)] Fred is blue.[(triple12 OR ((triple11 triple9) -> rule7))] Fred is cold.[(triple11)] Fred is red.[(triple10)] Fred is young.[(triple9 OR ((((triple12 triple11) -> rule3) triple11) -> rule6))] @1: Alan is cold.[(((triple3 triple2) -> rule4) OR ((triple3 ((triple3) -> rule1)) -> rule4))] Charlie is round.[(((triple7 triple6) -> rule3) OR ((((triple6 triple4) -> rule7) triple6) -> rule3))] Fred is round.[(((triple12 triple11) -> rule3) OR ((((triple11 triple9) -> rule7) triple11) -> rule3))] @2: Alan is young.[(((triple1 ((triple3 triple2) -> rule4)) -> rule6) OR ((triple1 ((triple3 ((triple3) -> rule1)) -> rule4)) -> rule6))] @3: Alan is blue.[(((((triple3 triple2) -> rule4) ((triple1 ((triple3 triple2) -> rule4)) -> rule6)) -> rule7) OR ((((triple3 ((triple3) -> rule1)) -> rule4) ((triple1 ((triple3 triple2) -> rule4)) -> rule6)) -> rule7) OR ((((triple3 triple2) -> rule4) ((triple1 ((triple3 ((triple3) -> rule1)) -> rule4)) -> rule6)) -> rule7) OR ((((triple3 ((triple3) -> rule1)) -> rule4) ((triple1 ((triple3 ((triple3) -> rule1)) -> rule4)) -> rule6)) -> rule7))]