Bob is a kind and red colored guy. Dave is big and green, which is good, because he is also cold and blue. Eric is still young and round, but he is nice to everyone and kind to animals. Harry is so young and darling he is kind to all the old people on the block. Young round blue people are also big people. If you are green you are also kind. It's said that any person with blue skin, round bones, and big feet is kind. Kind and blue people,though young,tend to be big. Big, kind, and nice people are often red in color. Young,round people tend to be rough and big. Young people are rough.
Eric is not round.
@0: Bob is kind.[(triple2)] Bob is red.[(triple1)] Dave is big.[(triple6)] Dave is blue.[(triple5)] Dave is cold.[(triple4)] Dave is green.[(triple3)] Eric is kind.[(triple10)] Eric is nice.[(triple9)] Eric is round.[(triple8)] Eric is young.[(triple7)] Harry is kind.[(triple12)] Harry is young.[(triple11)] @1: Dave is kind.[(((triple3) -> rule2))] Eric is rough.[(((triple7) -> rule7))] Harry is rough.[(((triple11) -> rule7))] @2: Eric is big.[(((((triple7) -> rule7) triple7 triple8) -> rule6))] @3: Eric is red.[(((((((triple7) -> rule7) triple7 triple8) -> rule6) triple10 triple9) -> rule5))]