Anne is red. Bob is white. Charlie is not smart. Harry is white. White, green things are cold. Cold things are not young. All red things are smart.
Harry is not white.
@0: Anne is red.[(triple1)] Bob is white.[(triple2)] Charlie is not smart.[(triple3)] Harry is white.[(triple4)] @1: Anne is smart.[(((triple1) -> rule3))]