Alan is too round for someone so young. Also, he is sometimes red and sometimes green. Bob ate some rotten meat and now feels green. Charlie is rough, but often feels blue. He is pretty young. The cold, nice, kind man with a round body is known as Harry. Young, green round people are big. If someone is blue, young, and rough, they qualify as being round. When anyone is young, red and green, you know they'll also be blue. John is round and rough, meaning that he is someone that is seen as green.
Charlie is round.
@0: Alan is green.[(triple4)] Alan is red.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple5)] Charlie is blue.[(triple8)] Charlie is rough.[(triple7)] Charlie is young.[(triple6)] Harry is cold.[(triple12)] Harry is kind.[(triple11)] Harry is nice.[(triple10)] Harry is round.[(triple9)] @1: Alan is big.[(((triple4 triple1 triple2) -> rule1))] Alan is blue.[(((triple3 triple1 triple4) -> rule3))] Charlie is round.[(((triple7 triple6 triple8) -> rule2))] @2: Charlie is green.[(((((triple7 triple6 triple8) -> rule2) triple7) -> rule4))] @3: Charlie is big.[(((((((triple7 triple6 triple8) -> rule2) triple7) -> rule4) triple6 ((triple7 triple6 triple8) -> rule2)) -> rule1))]