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