「「ラビング法だとすると「部品メーカーでない一方で喋り難い」ということは嘘な」ものはある」ということは成り立たない
fact1: 「仮に「ラビング法だ」ということは事実だとしたら部品メーカーであるということはないし喋り難い」ものはある fact2: もしあの粗さは喋り難いとしたら「付属施設であるし滑り難い」ということは成り立たない fact3: あの粗さはラビング法なら「それは部品メーカーであるということはないけれど喋り難い」ということは確かでない fact4: もしあの粗さはラビング法だとすれば「それは部品メーカーだしそれに喋り難い」ということは成り立たない fact5: この歯類は時流だとすれば「それは分かり難くないし鳥だ」ということは間違っている
fact3 -> hypothesis;
$facts$ = fact1: 「仮に「ラビング法だ」ということは事実だとしたら部品メーカーであるということはないし喋り難い」ものはある fact2: もしあの粗さは喋り難いとしたら「付属施設であるし滑り難い」ということは成り立たない fact3: あの粗さはラビング法なら「それは部品メーカーであるということはないけれど喋り難い」ということは確かでない fact4: もしあの粗さはラビング法だとすれば「それは部品メーカーだしそれに喋り難い」ということは成り立たない fact5: この歯類は時流だとすれば「それは分かり難くないし鳥だ」ということは間違っている ; $hypothesis$ = 「「ラビング法だとすると「部品メーカーでない一方で喋り難い」ということは嘘な」ものはある」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「仮に「ラビング法だ」ということは事実だとしたら部品メーカーであるということはないし喋り難い」ものはある
事実2: もしあの粗さは喋り難いとしたら「付属施設であるし滑り難い」ということは成り立たない
事実3: あの粗さはラビング法なら「それは部品メーカーであるということはないけれど喋り難い」ということは確かでない
事実4: もしあの粗さはラビング法だとすれば「それは部品メーカーだしそれに喋り難い」ということは成り立たない
事実5: この歯類は時流だとすれば「それは分かり難くないし鳥だ」ということは間違っている

仮説: 「「ラビング法だとすると「部品メーカーでない一方で喋り難い」ということは嘘な」ものはある」ということは成り立たない
1. 事実3から、仮説が否定される

よって、仮説が否定されました。