Bob is green. Charlie is big. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is rough. Gary is big. Gary is cold. Gary is green. If Gary is quiet then Gary is furry. Cold things are smart. Big, quiet things are green. If something is smart then it is big. Big things are quiet. If Charlie is green and Charlie is big then Charlie is furry.
Gary is not rough.