Bob is so young and darling he is kind to all the old people on the block. Dave is big and rough. They always call him rough Eric. Harry is big and has rough red skin. He is blue about it and green with envy of the smaller people. Big people who kind even when look green are often always considered nice. Young people who are big, downhearted, and blue are kind. Most young and nice people will be kind. Blue people who are rough are often young.
Dave is not young.
@0: Bob is kind.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple4)] Dave is rough.[(triple3)] Eric is rough.[(triple5)] Harry is big.[(triple10)] Harry is blue.[(triple9)] Harry is green.[(triple8)] Harry is red.[(triple7)] Harry is rough.[(triple6)] @1: Harry is young.[(((triple6 triple9) -> rule4))] @2: Harry is kind.[(((triple10 triple9 ((triple6 triple9) -> rule4)) -> rule2))] @3: Harry is nice.[(((triple10 ((triple10 triple9 ((triple6 triple9) -> rule4)) -> rule2) triple8) -> rule1))]