Bob is big. Bob is not kind. Bob is nice. Bob is not young. Dave is big. Dave is furry. Dave is kind. Dave is nice. Dave is young. Fiona is furry. If Dave is not furry then Dave is not nice.
Dave is smart.
@0: Bob is big.[(triple1)] Bob is nice.[(triple3)] Bob is not kind.[(triple2)] Bob is not young.[(triple4)] Dave is big.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7)] Dave is nice.[(triple8)] Dave is young.[(triple9)] Fiona is furry.[(triple10)]