Alan is nice, even when he is rough and red with anger. Dave is both young and fairly round in size. Eric is blue and cold. Harry is rather young, but he is also kind, green, cold and big. Santa Claus is red and kind. He is also very nice, especially to children. If a kind person is also young and round shaped, they will be colored blue. Anybody that is big is also someone who is going to be blue. Young people that are cold and round are necessarily big. Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger. If you ever find someone who's nice, rough, and blue, expect them to also be green. Anyone will tell you the kind and the big are also rough.
Dave is not red.
@0: Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Dave is round.[(triple5)] Dave is young.[(triple4)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10)] Harry is kind.[(triple9)] Harry is young.[(triple8)] @1: Harry is blue.[(((triple12) -> rule3))] Harry is rough.[(((triple12 triple9) -> rule7))] @2: Harry is red.[(((triple10 triple9 ((triple12) -> rule3)) -> rule5))] @3: Harry is nice.[(((((triple10 triple9 ((triple12) -> rule3)) -> rule5) triple9) -> rule1))]