Anne is smart. Gary is furry. Gary is nice. Gary is red. Gary is not round. Gary is smart. Gary is white. All red, furry things are smart. If Anne is round and Anne is big then Anne is nice. If Gary is not red and Gary is not nice then Gary is big. Round things are not white. All white, nice things are smart. If Gary is round and Gary is not big then Gary is smart.
Gary is not nice.