Anne is white. Gary is nice. Harry is smart. Nice, kind people are smart. All nice, furry people are white. Smart people are rough. All furry, rough people are young. Kind people are rough. If someone is white then they are smart.
Anne is not white.
@0: Anne is white.[(triple1)] Gary is nice.[(triple2)] Harry is smart.[(triple3)] @1: Anne is smart.[(((triple1) -> rule6))] Harry is rough.[(((triple3) -> rule3))] @2: Anne is rough.[(((((triple1) -> rule6)) -> rule3))]