「この事務ガイドラインは実施するかまたは構成割合である」ということは成り立たない
fact1: もしこの熟睡はアステリアでないとすれば「この事務ガイドラインはアステリアでない一方で模様化する」ということは間違いである fact2: もし仮にあのプロセッサーが九十八年以降だとすればこの熟睡は九十八年以降だということはない fact3: もし「感じ出さない」ものがあるとしたらあのプロセッサーは九十八年以降である fact4: もしもあのプロセッサーが感じ出す一方でアステリアでないとすれば「この事務ガイドラインは感じ出さない」ということは本当である fact5: 「なにかはアステリアでない一方で模様化する」ということは本当でないなら実施する fact6: 「「感じ出さない」ということは本当な」物はある fact7: この熟睡が九十八年以降だとすればあのプロセッサーは感じ出すけどそれはアステリアでない fact8: もしこの事務ガイドラインはアステリアであるならば実施する fact9: 仮にあのプロセッサーは九十八年以降であるとしたら「この熟睡は蛋白でないかあるいは九十八年以降であるかまたはどちらもである」ということは誤りだ fact10: 「感じ出す」ものはある fact11: この熟睡は九十八年以降であるとしたら「この事務ガイドラインは構成割合でないかもしくはそれは九十八年以降である」ということは成り立たない fact12: もしもなにがしかのものは感じ出すということはないとすれば「実施するかあるいは構成割合であるかまたは両方ともである」ということは嘘だ fact13: もし仮にあのプロセッサーはアステリアでないとすれば「この熟睡はアステリアでないがしかし九十八年以降だ」ということは成り立たない fact14: 「この事務ガイドラインはアステリアだし模様化する」ということは間違いである fact15: もしこの熟睡はアステリアでないなら「この事務ガイドラインはアステリアでかつ模様化する」ということは誤りだ fact16: この熟睡は九十八年以降でない fact17: もし仮に「なにがしかの物は蛋白でないかもしくはそれは九十八年以降だ」ということは嘘であるなら「アステリアであるということはない」ということは間違っていない
fact6 & fact3 -> int1: 「あのプロセッサーは九十八年以降である」ということは成り立つ; int1 & fact9 -> int2: 「この熟睡は蛋白でないかもしくは九十八年以降であるかあるいはどちらもだ」ということは嘘である; fact17 -> int3: 仮に「「この熟睡は蛋白でないかあるいは九十八年以降だ」ということは間違いだ」ということは成り立つとしたらアステリアでない; int2 & int3 -> int4: この熟睡はアステリアだということはない; int4 & fact1 -> int5: 「この事務ガイドラインはアステリアでない一方で模様化する」ということは事実と異なる; fact5 -> int6: もしも「「この事務ガイドラインはアステリアでないが模様化する」ということは間違っている」ということは成り立つならそれは実施する; int5 & int6 -> int7: この事務ガイドラインは実施する; int7 -> hypothesis;
「この事務ガイドラインは実施するかあるいは構成割合である」ということは間違っている
fact18 -> int8: この事務ガイドラインは感じ出さないとすれば「それは実施するか構成割合であるかどちらもである」ということは成り立つということはない;
$facts$ = fact1: もしこの熟睡はアステリアでないとすれば「この事務ガイドラインはアステリアでない一方で模様化する」ということは間違いである fact2: もし仮にあのプロセッサーが九十八年以降だとすればこの熟睡は九十八年以降だということはない fact3: もし「感じ出さない」ものがあるとしたらあのプロセッサーは九十八年以降である fact4: もしもあのプロセッサーが感じ出す一方でアステリアでないとすれば「この事務ガイドラインは感じ出さない」ということは本当である fact5: 「なにかはアステリアでない一方で模様化する」ということは本当でないなら実施する fact6: 「「感じ出さない」ということは本当な」物はある fact7: この熟睡が九十八年以降だとすればあのプロセッサーは感じ出すけどそれはアステリアでない fact8: もしこの事務ガイドラインはアステリアであるならば実施する fact9: 仮にあのプロセッサーは九十八年以降であるとしたら「この熟睡は蛋白でないかあるいは九十八年以降であるかまたはどちらもである」ということは誤りだ fact10: 「感じ出す」ものはある fact11: この熟睡は九十八年以降であるとしたら「この事務ガイドラインは構成割合でないかもしくはそれは九十八年以降である」ということは成り立たない fact12: もしもなにがしかのものは感じ出すということはないとすれば「実施するかあるいは構成割合であるかまたは両方ともである」ということは嘘だ fact13: もし仮にあのプロセッサーはアステリアでないとすれば「この熟睡はアステリアでないがしかし九十八年以降だ」ということは成り立たない fact14: 「この事務ガイドラインはアステリアだし模様化する」ということは間違いである fact15: もしこの熟睡はアステリアでないなら「この事務ガイドラインはアステリアでかつ模様化する」ということは誤りだ fact16: この熟睡は九十八年以降でない fact17: もし仮に「なにがしかの物は蛋白でないかもしくはそれは九十八年以降だ」ということは嘘であるなら「アステリアであるということはない」ということは間違っていない ; $hypothesis$ = 「この事務ガイドラインは実施するかまたは構成割合である」ということは成り立たない ; $proof$ = 
fact6 & fact3 -> int1: 「あのプロセッサーは九十八年以降である」ということは成り立つ; int1 & fact9 -> int2: 「この熟睡は蛋白でないかもしくは九十八年以降であるかあるいはどちらもだ」ということは嘘である; fact17 -> int3: 仮に「「この熟睡は蛋白でないかあるいは九十八年以降だ」ということは間違いだ」ということは成り立つとしたらアステリアでない; int2 & int3 -> int4: この熟睡はアステリアだということはない; int4 & fact1 -> int5: 「この事務ガイドラインはアステリアでない一方で模様化する」ということは事実と異なる; fact5 -> int6: もしも「「この事務ガイドラインはアステリアでないが模様化する」ということは間違っている」ということは成り立つならそれは実施する; int5 & int6 -> int7: この事務ガイドラインは実施する; int7 -> hypothesis; __DISPROVED__
事実1: もしこの熟睡はアステリアでないとすれば「この事務ガイドラインはアステリアでない一方で模様化する」ということは間違いである
事実2: もし仮にあのプロセッサーが九十八年以降だとすればこの熟睡は九十八年以降だということはない
事実3: もし「感じ出さない」ものがあるとしたらあのプロセッサーは九十八年以降である
事実4: もしもあのプロセッサーが感じ出す一方でアステリアでないとすれば「この事務ガイドラインは感じ出さない」ということは本当である
事実5: 「なにかはアステリアでない一方で模様化する」ということは本当でないなら実施する
事実6: 「「感じ出さない」ということは本当な」物はある
事実7: この熟睡が九十八年以降だとすればあのプロセッサーは感じ出すけどそれはアステリアでない
事実8: もしこの事務ガイドラインはアステリアであるならば実施する
事実9: 仮にあのプロセッサーは九十八年以降であるとしたら「この熟睡は蛋白でないかあるいは九十八年以降であるかまたはどちらもである」ということは誤りだ
事実10: 「感じ出す」ものはある
事実11: この熟睡は九十八年以降であるとしたら「この事務ガイドラインは構成割合でないかもしくはそれは九十八年以降である」ということは成り立たない
事実12: もしもなにがしかのものは感じ出すということはないとすれば「実施するかあるいは構成割合であるかまたは両方ともである」ということは嘘だ
事実13: もし仮にあのプロセッサーはアステリアでないとすれば「この熟睡はアステリアでないがしかし九十八年以降だ」ということは成り立たない
事実14: 「この事務ガイドラインはアステリアだし模様化する」ということは間違いである
事実15: もしこの熟睡はアステリアでないなら「この事務ガイドラインはアステリアでかつ模様化する」ということは誤りだ
事実16: この熟睡は九十八年以降でない
事実17: もし仮に「なにがしかの物は蛋白でないかもしくはそれは九十八年以降だ」ということは嘘であるなら「アステリアであるということはない」ということは間違っていない

仮説: 「この事務ガイドラインは実施するかまたは構成割合である」ということは成り立たない
1. 事実6と事実3から、推論1: "「あのプロセッサーは九十八年以降である」ということは成り立つ"が導かれる
2. 推論1と事実9から、推論2: "「この熟睡は蛋白でないかもしくは九十八年以降であるかあるいはどちらもだ」ということは嘘である"が導かれる
3. 事実17から、推論3: "仮に「「この熟睡は蛋白でないかあるいは九十八年以降だ」ということは間違いだ」ということは成り立つとしたらアステリアでない"が導かれる
4. 推論2と推論3から、推論4: "この熟睡はアステリアだということはない"が導かれる
5. 推論4と事実1から、推論5: "「この事務ガイドラインはアステリアでない一方で模様化する」ということは事実と異なる"が導かれる
6. 事実5から、推論6: "もしも「「この事務ガイドラインはアステリアでないが模様化する」ということは間違っている」ということは成り立つならそれは実施する"が導かれる
7. 推論5と推論6から、推論7: "この事務ガイドラインは実施する"が導かれる
8. 推論7から、仮説が否定される

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