Bob is quiet. Erin is nice. Erin is smart. Erin is white. Fiona is nice. Fiona is young. Harry is blue. If something is big then it is smart. Blue, nice things are smart. All white things are nice. White, smart things are not young. Blue things are white. Smart, young things are nice. If Bob is quiet then Bob is big. All quiet, smart things are blue. If Erin is not white then Erin is blue.
Harry is not smart.