Bob is big. Bob is round. Fiona is big. Fiona is cold. Fiona is green. Fiona is smart. Gary is cold. Gary is nice. Harry is cold. Harry is round. Harry is smart. Harry is young. If Fiona is round then Fiona is big. Young people are smart. All cold, big people are nice. Smart people are green. All smart, green people are cold. All big, green people are round. If someone is round then they are young. If someone is round and young then they are big. All young people are round.
Gary is not big.