Bob is quiet. Bob is young. Dave is big. Dave is young. Erin is big. Erin is young. Harry is quiet. If something is young then it is white. If Harry is nice and Harry is quiet then Harry is big. All smart things are big. White things are quiet. All young things are smart. If Bob is big and Bob is young then Bob is smart. If Harry is nice then Harry is big. If something is nice then it is white.
Dave is smart.