Bob always goes out of his way to show that he is kind to people. Dave is interestingly colored red and blue, and is also very kind. Eric ate some rotten meat and now feels green. Harry is rough and red, but he is still young; he is still blue with youth. Young people with red skin who are a bit downhearted and blue are kind. It's inevitable that young, green people are big. Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers. Anyone you find who happens to be kind and blue will also be very nice. When you meet someone that's rough, kind and nice you'll see they are green as well. People who are rough and nice and blue can be round. It's true that green and blue people are also red people.
Dave is not nice.
@0: Bob is kind.[(triple1)] Dave is blue.[(triple4)] Dave is kind.[(triple3)] Dave is red.[(triple2)] Eric is green.[(triple5)] Harry is blue.[(triple9)] Harry is red.[(triple8)] Harry is rough.[(triple7)] Harry is young.[(triple6)] @1: Dave is nice.[(((triple3 triple4) -> rule4))] Harry is kind.[(((triple6 triple9 triple8) -> rule1))] @2: Harry is big.[(((triple7 triple9 ((triple6 triple9 triple8) -> rule1)) -> rule3) OR ((triple6 ((triple7 ((triple6 triple9 triple8) -> rule1) ((((triple6 triple9 triple8) -> rule1) triple9) -> rule4)) -> rule5)) -> rule2))] Harry is nice.[(((((triple6 triple9 triple8) -> rule1) triple9) -> rule4))] @3: Harry is green.[(((triple7 ((triple6 triple9 triple8) -> rule1) ((((triple6 triple9 triple8) -> rule1) triple9) -> rule4)) -> rule5))] Harry is round.[(((triple7 ((((triple6 triple9 triple8) -> rule1) triple9) -> rule4) triple9) -> rule6))]