Bob is green. Erin is smart. Harry is smart. If something is white then it is not young. If something is smart then it is white.
Harry is not white.
@0: Bob is green.[(triple1)] Erin is smart.[(triple2)] Harry is smart.[(triple3)] @1: Erin is white.[(((triple2) -> rule2))] Harry is white.[(((triple3) -> rule2))] @2: Erin is not young.[(((((triple2) -> rule2)) -> rule1))] Harry is not young.[(((((triple3) -> rule2)) -> rule1))]