Charlie wears a green and red coat, but is always cold. Fred is very big for being so young. Gary has been blue because he's green with envy. Rough is one way to describe Harry.  He's also round and tends to be blue and red. When nice people are feeling blue and wearing green then they are round. Blue people are known the world over as nice people. Red, green and cold people are certain to be young people, too. If someone is green faced and has cold skin and a red body then you'll often find that their sentiment is blue. Rough, big people are always round, no matter what. A big, cold, blue person is rough around the edges. If a person is both rough and round, you know they are also red.
Gary is young.
@0: Charlie is cold.[(triple3)] Charlie is green.[(triple2)] Charlie is red.[(triple1)] Fred is big.[(triple5)] Fred is young.[(triple4)] Gary is blue.[(triple7)] Gary is green.[(triple6)] Harry is blue.[(triple11)] Harry is red.[(triple10 OR ((triple9 triple8) -> rule7))] Harry is rough.[(triple9)] Harry is round.[(triple8)] @1: Charlie is blue.[(((triple2 triple3 triple1) -> rule4))] Charlie is young.[(((triple1 triple2 triple3) -> rule3))] Gary is nice.[(((triple7) -> rule2))] Harry is nice.[(((triple11) -> rule2))] @2: Charlie is nice.[(((((triple2 triple3 triple1) -> rule4)) -> rule2))] Gary is round.[(((triple7 ((triple7) -> rule2) triple6) -> rule1))] @3: Charlie is round.[(((((triple2 triple3 triple1) -> rule4) ((((triple2 triple3 triple1) -> rule4)) -> rule2) triple2) -> rule1))]