Bob is colored blue and red. He is also kind and cold to the touch. Dave is big and tends to wear red shirts. One day Eric, a very nice old man with green ears, asked if I was as cold a block of ice. I said no but that I had heard that round people like him are cold blooded. They always call him rough Harry. When a young person has a round shape and feels blue, they will be green as well. Big, young people feel cold all the time. Green people with red round cheeks are young. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. Anybody that is big is also someone who is going to be blue. Blue people who are big tend to be rough. Blue people who are rough are often young.
Dave is not young.
@0: Bob is blue.[(triple4)] Bob is cold.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Dave is big.[(triple6)] Dave is red.[(triple5)] Eric is cold.[(triple10)] Eric is green.[(triple9)] Eric is nice.[(triple8)] Eric is round.[(triple7)] Harry is rough.[(triple11)] @1: Dave is blue.[(((triple6) -> rule5))] @2: Dave is rough.[(((((triple6) -> rule5) triple6) -> rule6))] @3: Dave is young.[(((((((triple6) -> rule5) triple6) -> rule6) ((triple6) -> rule5)) -> rule7))] @4: Dave is cold.[(((((((((triple6) -> rule5) triple6) -> rule6) ((triple6) -> rule5)) -> rule7) triple6) -> rule2))]