Bob is young. Erin is kind. Harry is rough. Smart, kind things are green. If something is rough then it is not green. If something is young and not cold then it is kind. If something is young and not rough then it is smart. All rough, kind things are young. If Harry is cold then Harry is kind.
Harry is not rough.
@0: Bob is young.[(triple1)] Erin is kind.[(triple2)] Harry is rough.[(triple3)] @1: Harry is not green.[(((triple3) -> rule2))]