Charlie is smart. Gary is not blue. Harry is kind. Rough things are green. If something is blue then it is green. If something is kind then it is not rough. Smart things are not kind. If something is green and not blue then it is not kind. If Gary is smart and Gary is green then Gary is not kind. If something is kind and green then it is smart. If Harry is not round then Harry is smart.
Harry is not smart.
@0: Charlie is smart.[(triple1)] Gary is not blue.[(triple2)] Harry is kind.[(triple3)] @1: Charlie is not kind.[(((triple1) -> rule4))] Harry is not rough.[(((triple3) -> rule3))]