Charlie is green and cold too. Dave is young and green. He is round with rosy red skin which makes him blue. Harry is green to the job, which is why he turned blue from being so cold. Not a single young person is not also kind. When you meet someone who is nice and kind, they wont feel blue. Anyone who is both red and green must be as cold as Christmas. Anyone feeling cold is bound to act nice. A nice person with cold skin is going to be rough. Every single blue and red person who acts sort of rough tends to be green in places.
Alan is red.
@0: Charlie is cold.[(triple2)] Charlie is green.[(triple1)] Dave is blue.[(triple7 OR ((((triple3) -> rule1) ((((triple5 triple6) -> rule3)) -> rule4)) -> rule2))] Dave is green.[(triple6)] Dave is red.[(triple5)] Dave is round.[(triple4)] Dave is young.[(triple3)] Harry is blue.[(triple10)] Harry is cold.[(triple9)] Harry is green.[(triple8)] @1: Charlie is nice.[(((triple2) -> rule4))] Dave is cold.[(((triple5 triple6) -> rule3))] Dave is kind.[(((triple3) -> rule1))] Harry is nice.[(((triple9) -> rule4))] @2: Charlie is rough.[(((triple2 ((triple2) -> rule4)) -> rule5))] Dave is nice.[(((((triple5 triple6) -> rule3)) -> rule4))] Harry is rough.[(((triple9 ((triple9) -> rule4)) -> rule5))] @3: Dave is rough.[(((((triple5 triple6) -> rule3) ((((triple5 triple6) -> rule3)) -> rule4)) -> rule5))]