Anne is smart. Harry is kind. Harry is young. All young things are red.
Harry is not young.
@0: Anne is smart.[(triple1)] Harry is kind.[(triple2)] Harry is young.[(triple3)] @1: Harry is red.[(((triple3) -> rule1))]