Alan looks big and is kind with red hair and green shoes. Young Bob is wearing green pants. Charlie is nice and young with red hair and a blue shirt. Eric is so young and darling he is kind to all the old people on the block. Nice blue people are often rough. If a person is blue, rough, and green, then they are also big. Fat, round people who are green with envy and notoriously rough. It's been proven that red, rough people are green as well. A person described as cold and kind can also be described as nice. On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment.
Alan is nice.
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Bob is green.[(triple6)] Bob is young.[(triple5)] Charlie is blue.[(triple10)] Charlie is nice.[(triple9)] Charlie is red.[(triple8)] Charlie is young.[(triple7)] Eric is kind.[(triple12)] Eric is young.[(triple11)] @1: Charlie is rough.[(((triple9 triple10) -> rule1))] @2: Charlie is green.[(((triple8 ((triple9 triple10) -> rule1)) -> rule4))] @3: Charlie is big.[(((triple10 ((triple9 triple10) -> rule1) ((triple8 ((triple9 triple10) -> rule1)) -> rule4)) -> rule2))]