Bob is quiet. Erin is not red. Fiona is red. Gary is quiet. Quiet people are smart. If Bob is kind then Bob is quiet. If someone is rough then they are smart. If Erin is kind then Erin is quiet. If someone is cold then they are rough. If someone is not red then they are nice. If someone is not nice and not red then they are smart. If someone is nice and not quiet then they are cold.
Erin is not rough.