Bob is big. Bob is kind. Bob is smart. Charlie is blue. Charlie is kind. Erin is blue. Erin is furry. Erin is kind. Erin is round. Erin is smart. Fiona is nice. Fiona is smart. All round, furry things are big. If something is nice and round then it is blue. If something is kind and furry then it is smart. Kind things are big. If something is blue and smart then it is furry. If Bob is furry and Bob is big then Bob is nice. Nice, smart things are kind. If Bob is furry then Bob is smart. All nice, big things are round.
Bob is not big.