Bob is not blue. Erin is young. Gary is smart. Harry is kind. If someone is not young then they are smart. If Erin is big then Erin is not round. If Erin is big and Erin is kind then Erin is not nice.
Erin is not smart.