Anne is red. Bob is not round. Dave is green. All cold, round things are not smart. All blue things are not smart. If something is smart and red then it is blue. If Anne is green and Anne is red then Anne is not quiet. Round, smart things are green. If Bob is green then Bob is not round. If something is quiet then it is red. If Anne is round then Anne is green.
Dave is smart.
@0: Anne is red.[(triple1)] Bob is not round.[(triple2)] Dave is green.[(triple3)]