Charlie is young and green. He is rough, but nice. Eric is not only red but green and blue as well. Harry is a very nice man who happens to be Round. Harry has red hair, green and blue eyes. Nice people flushing red are always young. Nice people who are big and round will have red faces too. Red, green and cold people are certain to be young people, too. Don't worry about asking a person who has skin that is green and red for a favor because they are nice. A rough person will also be a cold person. Anyone known to be red, young and blue will also be found to be cold.
Eric is not young.
@0: Charlie is green.[(triple4)] Charlie is nice.[(triple3)] Charlie is rough.[(triple2)] Charlie is young.[(triple1)] Eric is blue.[(triple7)] Eric is green.[(triple6)] Eric is red.[(triple5)] Harry is blue.[(triple12)] Harry is green.[(triple11)] Harry is nice.[(triple10 OR ((triple9 triple11) -> rule4))] Harry is red.[(triple9)] Harry is round.[(triple8)] @1: Charlie is cold.[(((triple2) -> rule5))] Eric is nice.[(((triple5 triple6) -> rule4))] Harry is young.[(((triple9 triple10) -> rule1) OR ((triple9 ((triple9 triple11) -> rule4)) -> rule1))] @2: Eric is young.[(((triple5 ((triple5 triple6) -> rule4)) -> rule1))] Harry is cold.[(((triple9 ((triple9 triple10) -> rule1) triple12) -> rule6) OR ((triple9 ((triple9 ((triple9 triple11) -> rule4)) -> rule1) triple12) -> rule6))] @3: Eric is cold.[(((triple5 ((triple5 ((triple5 triple6) -> rule4)) -> rule1) triple7) -> rule6))]