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