Bob is not furry. Bob is round. Dave is nice. Dave is not quiet. Gary is kind. Gary is red. Harry is blue. Harry is kind. Harry is not nice. Harry is quiet. Harry is red. Harry is round. If something is round and nice then it is furry.
Gary is nice.
@0: Bob is not furry.[(triple1)] Bob is round.[(triple2)] Dave is nice.[(triple3)] Dave is not quiet.[(triple4)] Gary is kind.[(triple5)] Gary is red.[(triple6)] Harry is blue.[(triple7)] Harry is kind.[(triple8)] Harry is not nice.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is round.[(triple12)]