Anne is big. Anne is cold. Anne is kind. Anne is red. Anne is rough. Bob is furry. Bob is young. Charlie is big. Charlie is cold. Charlie is kind. Erin is big. Erin is cold. Erin is furry. Erin is red. Erin is rough. Erin is young. If something is rough then it is cold. All young things are rough. All cold things are furry. All red, young things are cold. If Erin is furry then Erin is big. Big, kind things are red. If something is cold then it is young. Furry things are young.
Bob is rough.