Bob was feeling red with anger after the fight, but he was still a nice but big human being. Charlie looks red to most people, with blue features. Dave was kind despite being rough. And because he was so big, Dave constantly felt cold. Eric is rough around the edges, but he's often blue and always nice. Their actions reflected how young and kind but green they were making things seem blue. A person that is cold, blue and nice is also considered to be round. Red, kind, rough people are the young ones. A person with a rough quality is also a person with a blue quality. Anyone who is known to be kind, nice, and round is generally also known to be a green color. Young and nice people are ultimately cold. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Dave is not green.
@0: Bob is big.[(triple3)] Bob is nice.[(triple2)] Bob is red.[(triple1)] Charlie is blue.[(triple5)] Charlie is red.[(triple4)] Dave is big.[(triple9)] Dave is cold.[(triple8)] Dave is kind.[(triple7)] Dave is rough.[(triple6)] Eric is blue.[(triple12 OR ((triple10) -> rule4))] Eric is nice.[(triple11)] Eric is rough.[(triple10)] @1: Dave is blue.[(((triple6) -> rule4))] @2: Dave is nice.[(((((triple6) -> rule4) triple6 triple9) -> rule7))] @3: Dave is round.[(((triple8 ((triple6) -> rule4) ((((triple6) -> rule4) triple6 triple9) -> rule7)) -> rule2))] @4: Dave is green.[(((triple7 ((((triple6) -> rule4) triple6 triple9) -> rule7) ((triple8 ((triple6) -> rule4) ((((triple6) -> rule4) triple6 triple9) -> rule7)) -> rule2)) -> rule5))]