Bob is not only red but green and blue as well. Bod is round so he's green with envy of anyone who is not. But Dave is also young and nice so it's easy for him to be kind to others anyway. Harry, who is nice and green, is also cold and blue. Big, young people have a tendancy to be blue. Some nice people are cold and green which makes them rough. It might be that someone is young, big, rough and have a red ideology. People here that are big, young and blue will be red too. When people are still young, the blue and round ones will also be a bit red. Any nice, red, cold fellow is young. A nice person who is also round will always be big.
Dave is not red.
@0: Bob is blue.[(triple3)] Bob is green.[(triple2)] Bob is red.[(triple1)] Dave is green.[(triple8)] Dave is kind.[(triple7)] Dave is nice.[(triple6)] Dave is round.[(triple5)] Dave is young.[(triple4)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10)] Harry is nice.[(triple9)] @1: Dave is big.[(((triple6 triple5) -> rule7))] Harry is rough.[(((triple11 triple10 triple9) -> rule2))] @2: Dave is blue.[(((triple4 ((triple6 triple5) -> rule7)) -> rule1))] @3: Dave is red.[(((((triple4 ((triple6 triple5) -> rule7)) -> rule1) triple5 triple4) -> rule5) OR ((((triple4 ((triple6 triple5) -> rule7)) -> rule1) triple4 ((triple6 triple5) -> rule7)) -> rule4))]