Bob is red. Bob is rough. Bob is round. Bob is smart. Dave is red. Dave is round. Dave is smart. Erin is furry. Erin is quiet. Erin is red. Erin is round. Erin is white. White things are round. All round things are furry. If something is rough and red then it is furry. All furry things are white. If Erin is round and Erin is smart then Erin is rough. If Erin is round and Erin is not rough then Erin is furry. If something is quiet and not round then it is white. If something is not round then it is red.
Bob is rough.