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