Bob is quiet. Bob is not rough. Bob is smart. Charlie is rough. Dave is not blue. Dave is rough. Fiona is blue. Fiona is not cold. Fiona is quiet. Fiona is not rough. Cold, smart things are quiet. All nice things are green. If Charlie is quiet then Charlie is cold. If Fiona is not nice then Fiona is cold. If something is smart and blue then it is cold. Cold things are rough.
Dave is blue.
@0: Bob is not rough.[(triple2)] Bob is quiet.[(triple1)] Bob is smart.[(triple3)] Charlie is rough.[(triple4)] Dave is not blue.[(triple5)] Dave is rough.[(triple6)] Fiona is blue.[(triple7)] Fiona is not cold.[(triple8)] Fiona is not rough.[(triple10)] Fiona is quiet.[(triple9)]