Bob is kind. Bob is not smart. Charlie is kind. Charlie is white. Dave is green. Dave is not white. Dave is young. Gary is quiet. Gary is not smart. Gary is white. If something is green then it is not kind.
Gary is not quiet.
@0: Bob is kind.[(triple1)] Bob is not smart.[(triple2)] Charlie is kind.[(triple3)] Charlie is white.[(triple4)] Dave is green.[(triple5)] Dave is not white.[(triple6)] Dave is young.[(triple7)] Gary is not smart.[(triple9)] Gary is quiet.[(triple8)] Gary is white.[(triple10)] @1: Dave is not kind.[(((triple5) -> rule1))]