Charlie is young. Fiona is rough. Harry is red. Red things are smart. If Fiona is smart then Fiona is young. If something is smart then it is red. All rough things are red. All quiet things are young. If something is smart then it is rough. If Fiona is red and Fiona is rough then Fiona is cold. Cold, quiet things are big.
Charlie is not smart.