Charlie is a nice person, but he is both blue and red. Dave looks to be red, green, and blue, he is also round and rough. They always call him rough Harry. Everyone that is rough but also kind will be green. A nice and blue person who's also red will be a rough person. Most green and round people,though big are quite young. Nice people that are colored red and green are always round. Rough, blue people tend to have a lot of green aspects. Some kind person that is round a blue will get embarrassed and turn red. A big, blue and cold person will also be a round person.
Charlie is not young.
@0: Charlie is blue.[(triple3)] Charlie is nice.[(triple2)] Charlie is red.[(triple1)] Dave is blue.[(triple8)] Dave is green.[(triple7 OR ((triple5 triple8) -> rule5))] Dave is red.[(triple6)] Dave is rough.[(triple5)] Dave is round.[(triple4)] Harry is rough.[(triple9)] @1: Charlie is rough.[(((triple3 triple2 triple1) -> rule2))] @2: Charlie is green.[(((((triple3 triple2 triple1) -> rule2) triple3) -> rule5))] @3: Charlie is round.[(((((((triple3 triple2 triple1) -> rule2) triple3) -> rule5) triple1 triple2) -> rule4))]