Anne is green. Anne is kind. Anne is nice. Anne is smart. Dave is big. Dave is green. Dave is quiet. Dave is round. Fiona is big. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. If Fiona is round and Fiona is quiet then Fiona is kind. Kind things are round. If something is round and green then it is kind. If something is kind then it is quiet. If Anne is big and Anne is round then Anne is green. All big, nice things are kind.
Anne is not big.