Anne is rough. Bob is furry. Gary is kind. White people are rough. All furry, kind people are white. All furry people are kind.
Anne is kind.
@0: Anne is rough.[(triple1)] Bob is furry.[(triple2)] Gary is kind.[(triple3)] @1: Bob is kind.[(((triple2) -> rule3))] @2: Bob is white.[(((triple2 ((triple2) -> rule3)) -> rule2))] @3: Bob is rough.[(((((triple2 ((triple2) -> rule3)) -> rule2)) -> rule1))]