そのサタンは脂っぽい
fact1: もしその勧業世話役がかったるくないとするとそのサタンは脂っぽくておまけに波動である fact2: もし「「あぐねなくておまけに差し戻さない」ということは誤っている」物があるとすればそのサタンは脂っぽいということはない fact3: 「「あぐねないし加えて差し戻すということはない」ということは事実だということはない」ものはある fact4: もし仮に「なんらかの物は達成し易い一方で線でない」ということは嘘だとすれば線だ fact5: もしも「なんらかの物は線である」ということは確かだとすると注意深いけどメーカー・ブランド戦略でない fact6: 仮になにがしかの物が注意深いけれどメーカー・ブランド戦略でないとすればそれはかったるくない
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
そのサタンは脂っぽい
fact8 -> int1: 仮に「その勧業世話役は注意深いけどメーカー・ブランド戦略でない」ということは事実であるとするとかったるくない; fact7 -> int2: もしその勧業世話役は線であるならばそれは注意深いけれどメーカー・ブランド戦略でない; fact9 -> int3: 「「その勧業世話役は達成し易いけど線でない」ということは成り立たない」ということは成り立つとしたらそれは線である;
$facts$ = fact1: もしその勧業世話役がかったるくないとするとそのサタンは脂っぽくておまけに波動である fact2: もし「「あぐねなくておまけに差し戻さない」ということは誤っている」物があるとすればそのサタンは脂っぽいということはない fact3: 「「あぐねないし加えて差し戻すということはない」ということは事実だということはない」ものはある fact4: もし仮に「なんらかの物は達成し易い一方で線でない」ということは嘘だとすれば線だ fact5: もしも「なんらかの物は線である」ということは確かだとすると注意深いけどメーカー・ブランド戦略でない fact6: 仮になにがしかの物が注意深いけれどメーカー・ブランド戦略でないとすればそれはかったるくない ; $hypothesis$ = そのサタンは脂っぽい ; $proof$ = 
fact3 & fact2 -> hypothesis; __DISPROVED__
事実1: もしその勧業世話役がかったるくないとするとそのサタンは脂っぽくておまけに波動である
事実2: もし「「あぐねなくておまけに差し戻さない」ということは誤っている」物があるとすればそのサタンは脂っぽいということはない
事実3: 「「あぐねないし加えて差し戻すということはない」ということは事実だということはない」ものはある
事実4: もし仮に「なんらかの物は達成し易い一方で線でない」ということは嘘だとすれば線だ
事実5: もしも「なんらかの物は線である」ということは確かだとすると注意深いけどメーカー・ブランド戦略でない
事実6: 仮になにがしかの物が注意深いけれどメーカー・ブランド戦略でないとすればそれはかったるくない

仮説: そのサタンは脂っぽい
1. 事実3と事実2から、仮説が否定される

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