この理論武装は二色分解であるということはない
fact1: 何らかのものは君臨しないしおまけにそれは二色分解でない fact2: 「プレー出来ない」ものはある fact3: 何らかの物は二色分解でないしまた君臨しない fact4: 何かは訓読しなくてプレー出来ない fact5: 何らかの物は訓読するということはない fact6: もしこの昇格等級が君臨するかまたは水加減であるかどちらもであるとすればあの理論武装はプレー出来るということはない fact7: もし仮に「訓読しなくてかつプレー出来ない」物があればこの昇格等級は君臨する fact8: すべては立身しない fact9: もしも「この安全保障理事会決議は出始めないし黒しない」ということは事実と異なるとしたらこの後追いは懐かしがらない fact10: 仮にこの昇格等級が君臨すればこの理論武装は二色分解だ fact11: もし「この昇格等級はプレー出来ないがしかし二色分解だ」ということは誤っているとすればこの日没後は二色分解だ fact12: もしもなんらかの物が訓読するということはないならば二色分解でない fact13: 仮になにかは懐かしがらないならば「この昇格等級は君臨するか水加減だ」ということは成り立つ fact14: この理論武装は訓読する fact15: 仮にあるものが立身しないとすれば箱式石棺でないが新規制度である fact16: もし仮にとある物は箱式石棺でないなら「それは出始めないしおまけに黒しということはない」ということは成り立たない fact17: なんらかのものは君臨するけどそれは二色分解でない fact18: あのオフィス内は訓読する
fact4 & fact7 -> int1: この昇格等級は君臨する; int1 & fact10 -> hypothesis;
fact4 & fact7 -> int1: {C}{a}; int1 & fact10 -> hypothesis;
この日没後は二色分解だ
$facts$ = fact1: 何らかのものは君臨しないしおまけにそれは二色分解でない fact2: 「プレー出来ない」ものはある fact3: 何らかの物は二色分解でないしまた君臨しない fact4: 何かは訓読しなくてプレー出来ない fact5: 何らかの物は訓読するということはない fact6: もしこの昇格等級が君臨するかまたは水加減であるかどちらもであるとすればあの理論武装はプレー出来るということはない fact7: もし仮に「訓読しなくてかつプレー出来ない」物があればこの昇格等級は君臨する fact8: すべては立身しない fact9: もしも「この安全保障理事会決議は出始めないし黒しない」ということは事実と異なるとしたらこの後追いは懐かしがらない fact10: 仮にこの昇格等級が君臨すればこの理論武装は二色分解だ fact11: もし「この昇格等級はプレー出来ないがしかし二色分解だ」ということは誤っているとすればこの日没後は二色分解だ fact12: もしもなんらかの物が訓読するということはないならば二色分解でない fact13: 仮になにかは懐かしがらないならば「この昇格等級は君臨するか水加減だ」ということは成り立つ fact14: この理論武装は訓読する fact15: 仮にあるものが立身しないとすれば箱式石棺でないが新規制度である fact16: もし仮にとある物は箱式石棺でないなら「それは出始めないしおまけに黒しということはない」ということは成り立たない fact17: なんらかのものは君臨するけどそれは二色分解でない fact18: あのオフィス内は訓読する ; $hypothesis$ = この理論武装は二色分解であるということはない ; $proof$ = 
fact4 & fact7 -> int1: この昇格等級は君臨する; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: 何らかのものは君臨しないしおまけにそれは二色分解でない
事実2: 「プレー出来ない」ものはある
事実3: 何らかの物は二色分解でないしまた君臨しない
事実4: 何かは訓読しなくてプレー出来ない
事実5: 何らかの物は訓読するということはない
事実6: もしこの昇格等級が君臨するかまたは水加減であるかどちらもであるとすればあの理論武装はプレー出来るということはない
事実7: もし仮に「訓読しなくてかつプレー出来ない」物があればこの昇格等級は君臨する
事実8: すべては立身しない
事実9: もしも「この安全保障理事会決議は出始めないし黒しない」ということは事実と異なるとしたらこの後追いは懐かしがらない
事実10: 仮にこの昇格等級が君臨すればこの理論武装は二色分解だ
事実11: もし「この昇格等級はプレー出来ないがしかし二色分解だ」ということは誤っているとすればこの日没後は二色分解だ
事実12: もしもなんらかの物が訓読するということはないならば二色分解でない
事実13: 仮になにかは懐かしがらないならば「この昇格等級は君臨するか水加減だ」ということは成り立つ
事実14: この理論武装は訓読する
事実15: 仮にあるものが立身しないとすれば箱式石棺でないが新規制度である
事実16: もし仮にとある物は箱式石棺でないなら「それは出始めないしおまけに黒しということはない」ということは成り立たない
事実17: なんらかのものは君臨するけどそれは二色分解でない
事実18: あのオフィス内は訓読する

仮説: この理論武装は二色分解であるということはない
1. 事実4と事実7から、推論1: "この昇格等級は君臨する"が導かれる
2. 推論1と事実10から、仮説が否定される

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