Anne is nice. Anne is smart. Dave is kind. Dave is nice. Dave is round. Fiona is smart. Harry is green. If Anne is nice then Anne is smart. If something is nice and green then it is red. Nice things are round. Smart things are green. All round, nice things are red. If something is smart and round then it is red.
Harry is not round.