Dave is big. Dave is cold. Dave is kind. Dave is quiet. Fiona is cold. Fiona is smart. Fiona is young. Gary is big. Gary is cold. Gary is red. Gary is smart. Gary is young. Harry is big. Harry is red. Harry is young. All red people are young. If someone is not big then they are young. If Dave is kind and Dave is quiet then Dave is smart. Red people are quiet. If someone is kind then they are smart. All smart people are cold. All young, big people are kind. If someone is not cold then they are quiet.
Fiona is not big.