Anne is big. Anne is red. Dave is not smart. Dave is not white. Fiona is big. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. Harry is big. Harry is not nice. Harry is red. Harry is rough. If Harry is red and Harry is not big then Harry is quiet. If Dave is big then Dave is quiet. If something is rough and big then it is white. If Anne is red then Anne is big. If something is quiet then it is white. If something is nice and not white then it is red. If something is nice and not big then it is rough. If something is big and not rough then it is nice.
Dave is not rough.