この板敷は多様化しない
fact1: もしあるものが理解し難くないとしたら事らしくないし更に増え難くない fact2: もし仮にこの管理手法が三十一書房でないかまたはそれが代替出来るということはないかまたはどちらもであるならばこの日米両国政府は代替出来る fact3: 「全ては乳臭い」ということは真実だ fact4: 「この管理手法は代替出来ない」ということは本当である fact5: 「乳臭い物はＭＧだけど理解し難くない」ということは事実だ fact6: この管理手法は三十一書房でない fact7: 「この残り物は代替出来ない」ということは本当である fact8: この管理手法が多様化しないかあるいは三十一書房であるとしたら「この板敷は多様化する」ということは嘘だ fact9: もしなにがしかの物が代替出来ないし加えて三十一書房でないならばこの板敷は多様化する fact10: もしなんらかの物が多様化しないとしたら三十一書房でないか代替出来ないかあるいは両方だ
fact4 & fact6 -> int1: この管理手法は代替出来ないししかも三十一書房でない; int1 -> int2: 「とある物は代替出来なくてしかも三十一書房でない」ということは成り立つ; int2 & fact9 -> hypothesis;
fact4 & fact6 -> int1: (¬{A}{a} & ¬{B}{a}); int1 -> int2: (Ex): (¬{A}x & ¬{B}x); int2 & fact9 -> hypothesis;
この日米両国政府は代替出来る
fact12 -> int3: 仮にこの管理手法が多様化しないとすると三十一書房でないかもしくは代替出来ないかもしくは両方だ;
$facts$ = fact1: もしあるものが理解し難くないとしたら事らしくないし更に増え難くない fact2: もし仮にこの管理手法が三十一書房でないかまたはそれが代替出来るということはないかまたはどちらもであるならばこの日米両国政府は代替出来る fact3: 「全ては乳臭い」ということは真実だ fact4: 「この管理手法は代替出来ない」ということは本当である fact5: 「乳臭い物はＭＧだけど理解し難くない」ということは事実だ fact6: この管理手法は三十一書房でない fact7: 「この残り物は代替出来ない」ということは本当である fact8: この管理手法が多様化しないかあるいは三十一書房であるとしたら「この板敷は多様化する」ということは嘘だ fact9: もしなにがしかの物が代替出来ないし加えて三十一書房でないならばこの板敷は多様化する fact10: もしなんらかの物が多様化しないとしたら三十一書房でないか代替出来ないかあるいは両方だ ; $hypothesis$ = この板敷は多様化しない ; $proof$ = 
fact4 & fact6 -> int1: この管理手法は代替出来ないししかも三十一書房でない; int1 -> int2: 「とある物は代替出来なくてしかも三十一書房でない」ということは成り立つ; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: もしあるものが理解し難くないとしたら事らしくないし更に増え難くない
事実2: もし仮にこの管理手法が三十一書房でないかまたはそれが代替出来るということはないかまたはどちらもであるならばこの日米両国政府は代替出来る
事実3: 「全ては乳臭い」ということは真実だ
事実4: 「この管理手法は代替出来ない」ということは本当である
事実5: 「乳臭い物はＭＧだけど理解し難くない」ということは事実だ
事実6: この管理手法は三十一書房でない
事実7: 「この残り物は代替出来ない」ということは本当である
事実8: この管理手法が多様化しないかあるいは三十一書房であるとしたら「この板敷は多様化する」ということは嘘だ
事実9: もしなにがしかの物が代替出来ないし加えて三十一書房でないならばこの板敷は多様化する
事実10: もしなんらかの物が多様化しないとしたら三十一書房でないか代替出来ないかあるいは両方だ

仮説: この板敷は多様化しない
1. 事実4と事実6から、推論1: "この管理手法は代替出来ないししかも三十一書房でない"が導かれる
2. 推論1から、推論2: "「とある物は代替出来なくてしかも三十一書房でない」ということは成り立つ"が導かれる
3. 推論2と事実9から、仮説が否定される

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