Anne is furry. Anne is quiet. Anne is smart. Charlie is not cold. Charlie is green. Charlie is kind. Dave is blue. Dave is not cold. Dave is quiet. Dave is not smart. Fiona is kind. Fiona is smart. If something is cold and not quiet then it is blue. Blue, kind things are cold.
Fiona is smart.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is not cold.[(triple4)] Dave is blue.[(triple7)] Dave is not cold.[(triple8)] Dave is not smart.[(triple10)] Dave is quiet.[(triple9)] Fiona is kind.[(triple11)] Fiona is smart.[(triple12)]