Harry is green. Harry is kind. Harry is nice. Young people are green. If someone is nice then they are round. If Harry is smart and Harry is not young then Harry is green.
Harry is green.
@0: Harry is green.[(triple1)] Harry is kind.[(triple2)] Harry is nice.[(triple3)] @1: Harry is round.[(((triple3) -> rule2))]