この実質基準は届け出等だ
fact1: もし仮に「あのＮＡＳＡ誘導は焼き鳥屋でない一方でそれは自律である」ということは嘘であるならばこの実質基準は届け出等である fact2: もしもこの実質基準が焼き鳥屋であるならあのＮＡＳＡ誘導は届け出等である fact3: 「「あのＮＡＳＡ誘導は焼き鳥屋でないがしかしそれは自律だ」ということは成り立つ」ということは間違っている
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
$facts$ = fact1: もし仮に「あのＮＡＳＡ誘導は焼き鳥屋でない一方でそれは自律である」ということは嘘であるならばこの実質基準は届け出等である fact2: もしもこの実質基準が焼き鳥屋であるならあのＮＡＳＡ誘導は届け出等である fact3: 「「あのＮＡＳＡ誘導は焼き鳥屋でないがしかしそれは自律だ」ということは成り立つ」ということは間違っている ; $hypothesis$ = この実質基準は届け出等だ ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: もし仮に「あのＮＡＳＡ誘導は焼き鳥屋でない一方でそれは自律である」ということは嘘であるならばこの実質基準は届け出等である
事実2: もしもこの実質基準が焼き鳥屋であるならあのＮＡＳＡ誘導は届け出等である
事実3: 「「あのＮＡＳＡ誘導は焼き鳥屋でないがしかしそれは自律だ」ということは成り立つ」ということは間違っている

仮説: この実質基準は届け出等だ
1. 事実1と事実3から、仮説が導かれる

よって、仮説が証明されました。