その寮生は出雲国造神賀詞でなくて更に見え易くない
fact1: この独り暮らしは奪回する fact2: その職業役割は奏で始めない fact3: あの協働作業は奏で始めない fact4: もしもその寮生はせこいということはないとしたら「出雲国造神賀詞でなくてまた見え易くない」ということは成り立つということはない fact5: あの生命維持装置は奪回する fact6: 仮にあの協働作業は奏で始めないならば構う fact7: 何かは奏で始めればそれは奪回しなくて構わない fact8: もし仮にその寮生がマネジメントレビューであるしまたせこいとするとこの独り暮らしは奪回しない fact9: もし仮にあの協働作業が奪回しないしその上それが構わないとしたらその例外者は奪回しない fact10: もしもあの協働作業が構うとするとその寮生は申し受ける fact11: 仮にその寮生が申し受けるならマネジメントレビューだ
fact6 & fact3 -> int1: あの協働作業は構う; int1 & fact10 -> int2: その寮生は申し受ける; int2 & fact11 -> int3: その寮生はマネジメントレビューである; void -> assump1: 以下のように仮定する。「その寮生はせこい」ということは本当だ; int3 & assump1 -> int4: その寮生がマネジメントレビューだしせこい; int4 & fact8 -> int5: この独り暮らしは奪回するということはない; int5 & fact1 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「その寮生はせこいということはない」ということは正しい; int7 & fact4 -> hypothesis;
その例外者は奪回しない
fact12 -> int8: もし仮に「あの協働作業は奏で始める」ということは正しいならばそれは奪回しなくて更に構わない;
$facts$ = fact1: この独り暮らしは奪回する fact2: その職業役割は奏で始めない fact3: あの協働作業は奏で始めない fact4: もしもその寮生はせこいということはないとしたら「出雲国造神賀詞でなくてまた見え易くない」ということは成り立つということはない fact5: あの生命維持装置は奪回する fact6: 仮にあの協働作業は奏で始めないならば構う fact7: 何かは奏で始めればそれは奪回しなくて構わない fact8: もし仮にその寮生がマネジメントレビューであるしまたせこいとするとこの独り暮らしは奪回しない fact9: もし仮にあの協働作業が奪回しないしその上それが構わないとしたらその例外者は奪回しない fact10: もしもあの協働作業が構うとするとその寮生は申し受ける fact11: 仮にその寮生が申し受けるならマネジメントレビューだ ; $hypothesis$ = その寮生は出雲国造神賀詞でなくて更に見え易くない ; $proof$ = 
fact6 & fact3 -> int1: あの協働作業は構う; int1 & fact10 -> int2: その寮生は申し受ける; int2 & fact11 -> int3: その寮生はマネジメントレビューである; void -> assump1: 以下のように仮定する。「その寮生はせこい」ということは本当だ; int3 & assump1 -> int4: その寮生がマネジメントレビューだしせこい; int4 & fact8 -> int5: この独り暮らしは奪回するということはない; int5 & fact1 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「その寮生はせこいということはない」ということは正しい; int7 & fact4 -> hypothesis; __DISPROVED__
事実1: この独り暮らしは奪回する
事実2: その職業役割は奏で始めない
事実3: あの協働作業は奏で始めない
事実4: もしもその寮生はせこいということはないとしたら「出雲国造神賀詞でなくてまた見え易くない」ということは成り立つということはない
事実5: あの生命維持装置は奪回する
事実6: 仮にあの協働作業は奏で始めないならば構う
事実7: 何かは奏で始めればそれは奪回しなくて構わない
事実8: もし仮にその寮生がマネジメントレビューであるしまたせこいとするとこの独り暮らしは奪回しない
事実9: もし仮にあの協働作業が奪回しないしその上それが構わないとしたらその例外者は奪回しない
事実10: もしもあの協働作業が構うとするとその寮生は申し受ける
事実11: 仮にその寮生が申し受けるならマネジメントレビューだ

仮説: その寮生は出雲国造神賀詞でなくて更に見え易くない
1. 事実6と事実3から、推論1: "あの協働作業は構う"が導かれる
2. 推論1と事実10から、推論2: "その寮生は申し受ける"が導かれる
3. 推論2と事実11から、推論3: "その寮生はマネジメントレビューである"が導かれる
4. 仮定1: 以下のように仮定する。「その寮生はせこい」ということは本当だ
5. 推論3と仮定1から、推論4: "その寮生がマネジメントレビューだしせこい"が導かれる
6. 推論4と事実8から、推論5: "この独り暮らしは奪回するということはない"が導かれる
7. 推論5と事実1から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「その寮生はせこいということはない」ということは正しい"が導かれる
9. 推論7と事実4から、仮説が否定される

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