Anne is big. Anne is round. Dave is not big. Dave is rough. Dave is white. Harry is not big. Harry is round. If someone is smart then they are nice. All round people are smart. If Anne is big and Anne is not nice then Anne is not white.
Harry is nice.