Bob is kind. Bob is not smart. Dave is blue. Fiona is big. Gary is big. Gary is kind. Gary is young. If something is blue then it is cold. Kind things are nice. Nice, young things are smart. If Gary is cold then Gary is not smart. All nice, cold things are smart. All young, cold things are nice. If something is big and blue then it is kind. Cold things are big.
Dave is not nice.