Anne is big. Anne is not blue. Anne is not rough. Anne is round. Bob is big. Bob is blue. Bob is kind. Bob is round. Bob is not smart. Harry is big. Harry is blue. Harry is cold. Harry is kind. Harry is rough. Harry is round. Harry is not smart. If something is kind and not cold then it is not smart. If Bob is big and Bob is cold then Bob is round. All big things are kind. If Harry is not smart and Harry is not rough then Harry is round. Round things are big. If Anne is blue and Anne is rough then Anne is not round. If something is big and not round then it is blue. If Anne is smart and Anne is not big then Anne is rough.
Harry is not round.