「「あの職業書家はブランド・プロミスであるということはないしまた痒くない」ということは嘘であるならあの職業書家は保存先指定ボタンでない」ということは誤りだ
fact1: もしも「とある物はブランド・プロミスであるということはなくてしかも痒くない」ということは誤っているとしたらそれは保存先指定ボタンでない
$facts$ = fact1: もしも「とある物はブランド・プロミスであるということはなくてしかも痒くない」ということは誤っているとしたらそれは保存先指定ボタンでない ; $hypothesis$ = 「「あの職業書家はブランド・プロミスであるということはないしまた痒くない」ということは嘘であるならあの職業書家は保存先指定ボタンでない」ということは誤りだ ; $proof$ = 
事実1: もしも「とある物はブランド・プロミスであるということはなくてしかも痒くない」ということは誤っているとしたらそれは保存先指定ボタンでない

仮説: 「「あの職業書家はブランド・プロミスであるということはないしまた痒くない」ということは嘘であるならあの職業書家は保存先指定ボタンでない」ということは誤りだ