Harry is not kind. Harry is smart. Harry is not young. Nice things are red. If Harry is smart and Harry is not young then Harry is nice.
Harry is not red.
@0: Harry is not kind.[(triple1)] Harry is not young.[(triple3)] Harry is smart.[(triple2)] @1: Harry is nice.[(((triple2 triple3) -> rule2))] @2: Harry is red.[(((((triple2 triple3) -> rule2)) -> rule1))]