Anne is big. Bob is big. Fiona is not blue. Harry is kind. Kind people are white. All red, rough people are blue. If Bob is blue then Bob is not white. All big, red people are not smart. If someone is white and not blue then they are not smart. If Anne is smart and Anne is not white then Anne is big. If someone is rough and not white then they are not smart. If someone is not kind and not big then they are rough.
Harry is big.