Bob is big. Bob is blue. Bob is cold. Bob is quiet. Bob is red. Bob is round. Bob is smart. All quiet things are cold. Blue things are round. All quiet things are cold. If something is big then it is blue. Big things are blue. If Bob is round and Bob is cold then Bob is blue.
Bob is smart.