Fiona is smart. Gary is big. Harry is smart. If someone is smart then they are nice. All rough, quiet people are red. If someone is red then they are quiet. If someone is nice and not rough then they are red. If Gary is nice then Gary is not round. If someone is rough and not red then they are nice. If someone is quiet and not nice then they are round. If someone is red and not nice then they are big.
Harry is not rough.