Bob is big. Bob is smart. Dave is not quiet. Dave is red. Fiona is nice. Fiona is quiet. Harry is not big. Harry is blue. Harry is red. Harry is smart. Smart, red things are blue. Cold things are big. If something is blue and quiet then it is red. Blue things are nice. Red, big things are smart. If Bob is nice then Bob is smart. If Dave is red then Dave is cold. If something is red and not nice then it is smart. If something is quiet and not nice then it is big.
Dave is cold.