Anne is blue. Anne is cold. Anne is furry. Anne is round. Dave is blue. Gary is round. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is nice. Harry is not round. If Gary is not blue then Gary is smart. If Gary is nice and Gary is round then Gary is not furry. Smart things are nice.
Harry is not round.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is round.[(triple4)] Dave is blue.[(triple5)] Gary is round.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is nice.[(triple11)] Harry is not round.[(triple12)]