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.
Erin is not blue.
@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))]