Big rough Alan is round and rather green. That guy Charlie sure is nice. Dave, a kind young person is always feeling blue. Gary is a really nice guy with a big round body, usually wearing red. Round people who feel blue and are green in color are often young in age. A person who is kind, cold, and rough is big. Any person that's blue, young and green will turn out to be a nice person, too. People turn green when they are feeling blue. A young person who is big and rough and big is also usually round. Any red sort of person is a nice person.
Charlie is kind.
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is nice.[(triple5)] Dave is blue.[(triple8)] Dave is kind.[(triple7)] Dave is young.[(triple6)] Gary is big.[(triple12)] Gary is nice.[(triple11 OR ((triple10) -> rule6))] Gary is red.[(triple10)] Gary is round.[(triple9)] @1: Alan is blue.[(((triple3) -> rule4))] @2: Alan is young.[(((triple1 ((triple3) -> rule4) triple3) -> rule1))] @3: Alan is nice.[(((((triple3) -> rule4) ((triple1 ((triple3) -> rule4) triple3) -> rule1) triple3) -> rule3))]