Dave is not only red but green and blue as well. Eric is very big for being so young. Harry is a round and rough fellow that is feeling rather blue because he is cold.  He is also green in apperance after cleaning out the garbage can. Blue people are known the world over as nice people. Turns out that sad people feeling blue who are both nice and cold to others are all big people. Anyone you can describe as big and rough can also be described as red. A blue person in color will be a cold temperature, big in shape and will definitely be green. Big and round young people are often nice.
Harry is not red.
@0: Dave is blue.[(triple3)] Dave is green.[(triple2)] Dave is red.[(triple1)] Eric is big.[(triple5)] Eric is young.[(triple4)] Harry is blue.[(triple10)] Harry is cold.[(triple9)] Harry is green.[(triple8 OR ((triple10 ((triple9 triple10 ((triple10) -> rule1)) -> rule2) triple9) -> rule4))] Harry is rough.[(triple7)] Harry is round.[(triple6)] @1: Dave is nice.[(((triple3) -> rule1))] Harry is nice.[(((triple10) -> rule1))] @2: Harry is big.[(((triple9 triple10 ((triple10) -> rule1)) -> rule2))] @3: Harry is red.[(((((triple9 triple10 ((triple10) -> rule1)) -> rule2) triple7) -> rule3))]