Bob is furry. Bob is nice. Dave is blue. Dave is furry. Dave is nice. Dave is young. Fiona is quiet. White things are furry. If something is white then it is young. All young, kind things are white.
Bob is not nice.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Dave is blue.[(triple3)] Dave is furry.[(triple4)] Dave is nice.[(triple5)] Dave is young.[(triple6)] Fiona is quiet.[(triple7)]