Anne is rough. Anne is smart. Anne is young. Gary is big. Gary is rough. Gary is round. Gary is smart. Big, furry things are round. All green, young things are big. All smart, young things are rough. All big things are smart. All round, big things are green. Green things are smart. All rough, round things are young. If Anne is smart and Anne is big then Anne is young.
Gary is not round.