Because Charlie is so young, he is rough and cold when he can be round instead. Big Dave is a kind man and often wears blue and green shirts. Big Eric, the most blue guy I know while also being cold. A big person who is green and cold has red skin. Blue people who are cold are always round in shape. A person with a rough quality is also a person with a blue quality. If someone has a red complexion that is rough and feels blue then you'll see they are rather nice. Young people that are cold and round are necessarily big. People who are considered rough, blue, and nice, are also green. If you meet somebody who is young, rough and round, you can be sure they are nice as well.
Eric is not rough.
@0: Charlie is cold.[(triple4)] Charlie is rough.[(triple3)] Charlie is round.[(triple2 OR ((((triple3) -> rule3) triple4) -> rule2))] Charlie is young.[(triple1)] Dave is big.[(triple8)] Dave is blue.[(triple7)] Dave is green.[(triple6)] Dave is kind.[(triple5)] Eric is big.[(triple11)] Eric is blue.[(triple10)] Eric is cold.[(triple9)] @1: Charlie is big.[(((triple4 triple2 triple1) -> rule5) OR ((triple4 ((((triple3) -> rule3) triple4) -> rule2) triple1) -> rule5))] Charlie is blue.[(((triple3) -> rule3))] Charlie is nice.[(((triple1 triple2 triple3) -> rule7) OR ((triple1 ((((triple3) -> rule3) triple4) -> rule2) triple3) -> rule7))] Eric is round.[(((triple10 triple9) -> rule2))] @2: Charlie is green.[(((triple3 ((triple3) -> rule3) ((triple1 triple2 triple3) -> rule7)) -> rule6) OR ((triple3 ((triple3) -> rule3) ((triple1 ((((triple3) -> rule3) triple4) -> rule2) triple3) -> rule7)) -> rule6))] @3: Charlie is red.[(((((triple4 triple2 triple1) -> rule5) ((triple3 ((triple3) -> rule3) ((triple1 triple2 triple3) -> rule7)) -> rule6) triple4) -> rule1) OR ((((triple4 ((((triple3) -> rule3) triple4) -> rule2) triple1) -> rule5) ((triple3 ((triple3) -> rule3) ((triple1 triple2 triple3) -> rule7)) -> rule6) triple4) -> rule1) OR ((((triple4 triple2 triple1) -> rule5) ((triple3 ((triple3) -> rule3) ((triple1 ((((triple3) -> rule3) triple4) -> rule2) triple3) -> rule7)) -> rule6) triple4) -> rule1) OR ((((triple4 ((((triple3) -> rule3) triple4) -> rule2) triple1) -> rule5) ((triple3 ((triple3) -> rule3) ((triple1 ((((triple3) -> rule3) triple4) -> rule2) triple3) -> rule7)) -> rule6) triple4) -> rule1))]