Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is smart. Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is rough. Gary is smart. If something is kind then it is big. If Fiona is furry and Fiona is cold then Fiona is big. Green things are rough. If something is rough then it is kind. All cold things are rough. If Fiona is furry and Fiona is cold then Fiona is rough. Rough things are furry. If Gary is rough and Gary is big then Gary is green.
Fiona is not smart.