Bob is cold. Bob is nice. Bob is round. Dave is big. Dave is cold. Dave is nice. Dave is red. Dave is rough. Erin is rough. Erin is smart. Harry is big. Harry is cold. Harry is nice. Harry is smart. If Dave is not rough then Dave is round. If Erin is red then Erin is cold. All round, red people are nice. Big people are red. All cold, smart people are round. Smart people are big. If Bob is red then Bob is smart. If Harry is red and Harry is not nice then Harry is not rough.
Harry is not big.