Bob is kind. Bob is rough. Bob is round. Dave is not rough. Erin is nice. Harry is cold. Harry is round. If Dave is red then Dave is rough. If something is cold then it is nice. All red, nice things are big. If Harry is rough then Harry is red. All nice things are rough. If something is nice and big then it is kind. If Harry is red then Harry is rough. If something is big then it is nice. If something is not kind then it is round.
Harry is red.