Anne is cold. Bob is green. Charlie is smart. Fiona is smart. Smart, cold things are furry. Round, blue things are green. If Bob is round then Bob is blue.
Bob is not blue.
@0: Anne is cold.[(triple1)] Bob is green.[(triple2)] Charlie is smart.[(triple3)] Fiona is smart.[(triple4)]