Bob is smart. Dave is not cold. Dave is furry. Dave is not red. Dave is not rough. Dave is white. Erin is round. Erin is white. Fiona is furry. Fiona is rough. Fiona is not smart. Fiona is white. If something is round and furry then it is not white.
Dave is cold.
@0: Bob is smart.[(triple1)] Dave is furry.[(triple3)] Dave is not cold.[(triple2)] Dave is not red.[(triple4)] Dave is not rough.[(triple5)] Dave is white.[(triple6)] Erin is round.[(triple7)] Erin is white.[(triple8)] Fiona is furry.[(triple9)] Fiona is not smart.[(triple11)] Fiona is rough.[(triple10)] Fiona is white.[(triple12)]