Anne is not quiet. Bob is white. Charlie is kind. Charlie is nice. Dave is nice. Dave is quiet. Dave is not white. If someone is nice and not cold then they are quiet. If someone is kind then they are quiet.
Dave is white.
@0: Anne is not quiet.[(triple1)] Bob is white.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Dave is nice.[(triple5)] Dave is not white.[(triple7)] Dave is quiet.[(triple6)] @1: Charlie is quiet.[(((triple3) -> rule2))]