Anne is smart. Bob is round. Erin is kind. Fiona is not white. If something is cold then it is round. If something is white and not cold then it is smart. If something is smart and green then it is not blue. If Anne is not round then Anne is green. If something is blue and cold then it is kind. If something is blue and not round then it is kind.
Fiona is not smart.
@0: Anne is smart.[(triple1)] Bob is round.[(triple2)] Erin is kind.[(triple3)] Fiona is not white.[(triple4)]