Anne is big. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Bob is big. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Harry is big. Harry is nice. Harry is quiet. Harry is rough. Harry is smart. If Harry is big then Harry is quiet. Rough, blue things are nice. Big, rough things are blue. All blue things are red. Rough things are big. Quiet, big things are smart. Quiet things are big. If Bob is big then Bob is quiet.
Anne is not red.