Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is round. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is round. If something is cold and kind then it is furry. If Erin is cold then Erin is red. If something is cold and round then it is red. All furry things are kind. All green things are furry. If Bob is cold then Bob is round. Red things are nice. If something is cold and green then it is kind.
Bob is not round.