Anne is white. Bob is rough. Harry is blue. If Harry is big and Harry is nice then Harry is rough. All big things are red. Rough things are big. All blue things are big. Smart, rough things are blue. If something is big and nice then it is smart.
Anne is not smart.