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.
Charlie is not cold.
@0: Anne is red.[(triple1)] Bob is white.[(triple2)] Charlie is not smart.[(triple3)] Harry is white.[(triple4)] @1: Anne is smart.[(((triple1) -> rule3))]