Anne is blue. Anne is nice. Anne is smart. Dave is blue. Dave is white. Fiona is furry. Fiona is smart. Harry is big. Harry is smart. Harry is white. If Harry is round then Harry is white.
Harry is not round.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Dave is blue.[(triple4)] Dave is white.[(triple5)] Fiona is furry.[(triple6)] Fiona is smart.[(triple7)] Harry is big.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)]