Charlie is a young, round shaped young man who is also very cold. Dave is green with envy, and rough with his kids, but overall is just a nice, round individual. That guy Gary sure is nice. Even though Harry is round and big, he is very kind. Rough people who are red in color and big are usally round in shape. Young round people who are green are usually blue. Being young and cold also means you're green. Anybody young person covered in blue and green will be kind. Most young kind people tend to be red too. Rough people who look red are cold. Young and red people look round.
Gary is not green.
@0: Charlie is cold.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is green.[(triple7)] Dave is nice.[(triple6)] Dave is rough.[(triple5)] Dave is round.[(triple4)] Gary is nice.[(triple8)] Harry is big.[(triple11)] Harry is kind.[(triple10)] Harry is round.[(triple9)] @1: Charlie is green.[(((triple1 triple3) -> rule3))] @2: Charlie is blue.[(((triple2 triple1 ((triple1 triple3) -> rule3)) -> rule2))] @3: Charlie is kind.[(((triple1 ((triple2 triple1 ((triple1 triple3) -> rule3)) -> rule2) ((triple1 triple3) -> rule3)) -> rule4))] @4: Charlie is red.[(((triple1 ((triple1 ((triple2 triple1 ((triple1 triple3) -> rule3)) -> rule2) ((triple1 triple3) -> rule3)) -> rule4)) -> rule5))]