Anne is white. Bob is blue. Bob is cold. Bob is smart. Dave is big. Dave is blue. Dave is round. Dave is not smart. Dave is white. Fiona is smart. If someone is blue and not round then they are smart.
Anne is not smart.
@0: Anne is white.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is smart.[(triple4)] Dave is big.[(triple5)] Dave is blue.[(triple6)] Dave is not smart.[(triple8)] Dave is round.[(triple7)] Dave is white.[(triple9)] Fiona is smart.[(triple10)]