Anne is round. Anne is smart. Harry is red. All smart things are nice. If something is round then it is nice. If Harry is big then Harry is nice. Big things are kind. All round things are smart. Kind things are quiet. All round things are smart. If Anne is smart then Anne is big.
Harry is not big.