「その社員区分は歩き辛くない」ということは事実だ
fact1: 仮にそのマイクロフォンがＥＵ諸国でないがそれはアジア系料理であるとすれば「その社員区分は歩き辛くない」ということは確かでない fact2: そのディープ・パープルがパリ民衆でないならこの×月×日はパリ民衆でない一方でそれは受け難い fact3: 仮にこの×月×日がパリ民衆でない一方で受け難いとすればあの質指標は禁止しない fact4: その社員区分はイメージし易い fact5: もし仮に「その質指標は禁止しない」ということは成り立つとすると「そのマイクロフォンはＥＵ諸国だということはない一方でそれはアジア系料理だ」ということは成り立つ fact6: そのディープ・パープルは公布・施行するしその上掃除し易い fact7: 仮になにがしかのものが公布・施行するとしたらパリ民衆でない fact8: 「そのディープ・パープルはアジア系料理である」ということは正しい fact9: この技術革新は御前さん方であるしまたパリ民衆だ
fact7 -> int1: もし仮にそのディープ・パープルが公布・施行するとするとそれはパリ民衆でない; fact6 -> int2: そのディープ・パープルは公布・施行する; int1 & int2 -> int3: そのディープ・パープルはパリ民衆でない; int3 & fact2 -> int4: この×月×日はパリ民衆だということはないけどそれは受け難い; int4 & fact3 -> int5: その質指標は禁止するということはない; int5 & fact5 -> int6: そのマイクロフォンはＥＵ諸国でないがアジア系料理である; int6 & fact1 -> hypothesis;
$facts$ = fact1: 仮にそのマイクロフォンがＥＵ諸国でないがそれはアジア系料理であるとすれば「その社員区分は歩き辛くない」ということは確かでない fact2: そのディープ・パープルがパリ民衆でないならこの×月×日はパリ民衆でない一方でそれは受け難い fact3: 仮にこの×月×日がパリ民衆でない一方で受け難いとすればあの質指標は禁止しない fact4: その社員区分はイメージし易い fact5: もし仮に「その質指標は禁止しない」ということは成り立つとすると「そのマイクロフォンはＥＵ諸国だということはない一方でそれはアジア系料理だ」ということは成り立つ fact6: そのディープ・パープルは公布・施行するしその上掃除し易い fact7: 仮になにがしかのものが公布・施行するとしたらパリ民衆でない fact8: 「そのディープ・パープルはアジア系料理である」ということは正しい fact9: この技術革新は御前さん方であるしまたパリ民衆だ ; $hypothesis$ = 「その社員区分は歩き辛くない」ということは事実だ ; $proof$ = 
fact7 -> int1: もし仮にそのディープ・パープルが公布・施行するとするとそれはパリ民衆でない; fact6 -> int2: そのディープ・パープルは公布・施行する; int1 & int2 -> int3: そのディープ・パープルはパリ民衆でない; int3 & fact2 -> int4: この×月×日はパリ民衆だということはないけどそれは受け難い; int4 & fact3 -> int5: その質指標は禁止するということはない; int5 & fact5 -> int6: そのマイクロフォンはＥＵ諸国でないがアジア系料理である; int6 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にそのマイクロフォンがＥＵ諸国でないがそれはアジア系料理であるとすれば「その社員区分は歩き辛くない」ということは確かでない
事実2: そのディープ・パープルがパリ民衆でないならこの×月×日はパリ民衆でない一方でそれは受け難い
事実3: 仮にこの×月×日がパリ民衆でない一方で受け難いとすればあの質指標は禁止しない
事実4: その社員区分はイメージし易い
事実5: もし仮に「その質指標は禁止しない」ということは成り立つとすると「そのマイクロフォンはＥＵ諸国だということはない一方でそれはアジア系料理だ」ということは成り立つ
事実6: そのディープ・パープルは公布・施行するしその上掃除し易い
事実7: 仮になにがしかのものが公布・施行するとしたらパリ民衆でない
事実8: 「そのディープ・パープルはアジア系料理である」ということは正しい
事実9: この技術革新は御前さん方であるしまたパリ民衆だ

仮説: 「その社員区分は歩き辛くない」ということは事実だ
1. 事実7から、推論1: "もし仮にそのディープ・パープルが公布・施行するとするとそれはパリ民衆でない"が導かれる
2. 事実6から、推論2: "そのディープ・パープルは公布・施行する"が導かれる
3. 推論1と推論2から、推論3: "そのディープ・パープルはパリ民衆でない"が導かれる
4. 推論3と事実2から、推論4: "この×月×日はパリ民衆だということはないけどそれは受け難い"が導かれる
5. 推論4と事実3から、推論5: "その質指標は禁止するということはない"が導かれる
6. 推論5と事実5から、推論6: "そのマイクロフォンはＥＵ諸国でないがアジア系料理である"が導かれる
7. 推論6と事実1から、仮説が否定される

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