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 rough.
@0: Anne is white.[(triple1)] Bob is kind.[(triple2)] Dave is rough.[(triple3)] Erin is kind.[(triple4)] @1: Dave is white.[(((triple3) -> rule1))]