Bob is cold. Bob is not green. Bob is nice. Bob is red. Bob is round. Fiona is furry. Fiona is not nice. Big things are not cold. If Bob is green and Bob is red then Bob is not round. If something is not cold then it is big. If something is round then it is red. Round things are red. If Fiona is cold then Fiona is not nice.
Fiona is not green.