Anne is furry. Anne is kind. Anne is smart. Anne is young. Dave is big. Dave is furry. Dave is kind. Dave is red. Harry is furry. Harry is red. Harry is smart. Harry is young. If someone is round then they are furry.
Dave is not smart.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Dave is big.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7)] Dave is red.[(triple8)] Harry is furry.[(triple9)] Harry is red.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12)]