Anne is kind. Gary is blue. Harry is not white. Big, kind things are not white. If something is white then it is smart. All kind things are rough. If Gary is big and Gary is not white then Gary is rough. If Harry is kind and Harry is not rough then Harry is nice. Big, rough things are nice. If something is rough then it is nice. All smart, rough things are not blue.
Harry is not white.
@0: Anne is kind.[(triple1)] Gary is blue.[(triple2)] Harry is not white.[(triple3)] @1: Anne is rough.[(((triple1) -> rule3))] @2: Anne is nice.[(((((triple1) -> rule3)) -> rule7))]