Anne is green. Anne is quiet. Bob is green. Bob is quiet. Bob is round. Fiona is cold. Fiona is smart. Gary is green. Gary is quiet. Gary is smart. If Bob is blue then Bob is cold. Green people are rough. If Gary is rough then Gary is green. If someone is round and green then they are quiet. If someone is green and rough then they are blue. All smart people are blue.
Bob is round.