Anne is blue. Anne is smart. Bob is kind. Bob is not white. Dave is not kind. Dave is white. Fiona is big. Fiona is green. Fiona is smart. Fiona is white. If Dave is blue and Dave is red then Dave is not big.
Dave is smart.
@0: Anne is blue.[(triple1)] Anne is smart.[(triple2)] Bob is kind.[(triple3)] Bob is not white.[(triple4)] Dave is not kind.[(triple5)] Dave is white.[(triple6)] Fiona is big.[(triple7)] Fiona is green.[(triple8)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)]