Anne is not nice. Anne is round. Anne is not smart. Anne is white. Bob is furry. Bob is round. Bob is not white. Erin is blue. Erin is furry. Erin is round. Erin is smart. Harry is not furry. Harry is round. Harry is smart. Harry is white. Harry is young. If someone is white and nice then they are not round. If someone is nice then they are not round.
Bob is smart.
@0: Anne is not nice.[(triple1)] Anne is not smart.[(triple3)] Anne is round.[(triple2)] Anne is white.[(triple4)] Bob is furry.[(triple5)] Bob is not white.[(triple7)] Bob is round.[(triple6)] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Erin is round.[(triple10)] Erin is smart.[(triple11)] Harry is not furry.[(triple12)] Harry is round.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)]