Alan is big and red, but he's young and will grow out of it. Charlie is fat; so he appears big and round.  Charlie is also nice and kind to everyone that he meets. Fred grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. They always call him rough Harry. Nice blue people are often rough. A very kind and green colored person, who is also cold, will be nice. Fat, round people who are green with envy and notoriously rough. Red people feel blue about it. Big, kind, and nice people are often red in color.
Fred is not blue.
@0: Alan is big.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple7)] Charlie is kind.[(triple6)] Charlie is nice.[(triple5)] Charlie is round.[(triple4)] Fred is blue.[(triple9)] Fred is rough.[(triple8)] Harry is rough.[(triple10)] @1: Alan is blue.[(((triple2) -> rule4))] Charlie is red.[(((triple7 triple6 triple5) -> rule5))] @2: Charlie is blue.[(((((triple7 triple6 triple5) -> rule5)) -> rule4))] @3: Charlie is rough.[(((triple5 ((((triple7 triple6 triple5) -> rule5)) -> rule4)) -> rule1))]