Anne is blue. Anne is cold. Anne is kind. Anne is red. Anne is round. Anne is smart. Anne is not young. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is red. Fiona is round. Fiona is smart. Fiona is not young. If something is cold and not round then it is smart. If Anne is not smart then Anne is kind. If something is cold and not kind then it is young.
Fiona is kind.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is not young.[(triple7)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is kind.[(triple10)] Fiona is not young.[(triple14)] Fiona is red.[(triple11)] Fiona is round.[(triple12)] Fiona is smart.[(triple13)]