Bob is big. Bob is red. Bob is round. Bob is young. Charlie is big. Charlie is cold. Charlie is round. Charlie is smart. Charlie is young. Dave is not smart. Fiona is red. Red, young things are rough. All young things are big. All smart, rough things are cold. All smart things are young. All red things are round. All round, big things are smart. If something is round and red then it is smart.
Dave is not big.