Anne is big. Anne is kind. Anne is red. Anne is smart. Bob is big. Bob is furry. Bob is smart. Fiona is smart. Gary is kind. Gary is young. All red things are young. Furry things are big. Big things are furry. All big, furry things are red. Smart things are rough. If something is smart then it is rough. All furry, kind things are big. All young things are furry. Red things are smart.
Gary is smart.