Anne is big. Anne is kind. Anne is nice. Anne is red. Bob is big. Bob is blue. Bob is kind. Bob is nice. Bob is red. Dave is blue. Dave is kind. Dave is red. All nice things are big. If Bob is kind then Bob is nice. Blue things are nice. White things are blue. If something is kind then it is quiet. All white things are nice.
Anne is not big.