Anne is nice. Anne is smart. Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is round. If something is smart and cold then it is blue. If Anne is round and Anne is blue then Anne is cold.
Bob is blue.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Bob is big.[(triple3)] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Bob is green.[(triple6)] Bob is round.[(triple7)]