Anne is cold. Anne is kind. Anne is round. Bob is not cold. Bob is red. Bob is round. Dave is cold. Dave is kind. Dave is quiet. Dave is red. Gary is not cold. Gary is kind. If Anne is quiet and Anne is blue then Anne is kind. Quiet, blue things are cold. Round, quiet things are cold. If Gary is round and Gary is red then Gary is not cold. Cold, rough things are round. If Anne is rough then Anne is not blue.
Dave is rough.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Bob is not cold.[(triple4)] Bob is red.[(triple5)] Bob is round.[(triple6)] Dave is cold.[(triple7)] Dave is kind.[(triple8)] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Gary is kind.[(triple12)] Gary is not cold.[(triple11)]