Anne is red. Bob is not smart. Charlie is smart. Harry is not white. Red people are smart.
Charlie is red.
@0: Anne is red.[(triple1)] Bob is not smart.[(triple2)] Charlie is smart.[(triple3)] Harry is not white.[(triple4)] @1: Anne is smart.[(((triple1) -> rule1))]