Bob is young. Dave is quiet. Fiona is green. Harry is furry. If something is kind and not red then it is quiet. If Dave is quiet and Dave is not furry then Dave is kind. If something is young and not red then it is round. All red, quiet things are kind. All round things are green. If something is young and not round then it is green.
Bob is not kind.
@0: Bob is young.[(triple1)] Dave is quiet.[(triple2)] Fiona is green.[(triple3)] Harry is furry.[(triple4)]