Anne is smart. Bob is smart. Charlie is quiet. Dave is kind. If something is nice then it is quiet. If Dave is kind and Dave is nice then Dave is smart. If something is young and smart then it is white. If something is quiet and young then it is kind. Young, white things are nice. If Anne is kind then Anne is smart. If Charlie is red then Charlie is young. All red, kind things are smart.
Dave is not kind.
@0: Anne is smart.[(triple1)] Bob is smart.[(triple2)] Charlie is quiet.[(triple3)] Dave is kind.[(triple4)]