Anne is white. Dave is quiet. Erin is not white. Gary is young. Quiet people are not kind. If someone is white and not rough then they are kind. If Dave is quiet and Dave is not rough then Dave is white.
Anne is red.
@0: Anne is white.[(triple1)] Dave is quiet.[(triple2)] Erin is not white.[(triple3)] Gary is young.[(triple4)] @1: Dave is not kind.[(((triple2) -> rule1))]