Anne is big. Anne is blue. Anne is cold. Anne is red. Anne is smart. Bob is blue. Bob is cold. Bob is quiet. Bob is red. Bob is round. Bob is smart. Dave is blue. Dave is red. Dave is round. Harry is red. Harry is round. All red things are quiet. If Harry is round then Harry is smart.
Bob is not big.