Anne is cold. Anne is kind. Anne is smart. Bob is smart. Dave is red. Dave is round. Fiona is furry. All red, green people are smart. If Dave is kind then Dave is red. If Dave is cold and Dave is red then Dave is green.
Anne is not cold.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Bob is smart.[(triple4)] Dave is red.[(triple5)] Dave is round.[(triple6)] Fiona is furry.[(triple7)]