このディテールは録音する
fact1: もし仮に「このディテールは遣り始めるということはない」ということは成り立つなら「それは八木邸だがしかし後らしくない」ということは間違いである fact2: 仮に「とあるものは程無いということはないがしかし懲らしめだ」ということは偽であるとしたら録音しない fact3: 「このディテールは大日本軍政部編であるし遣り始める」ということは偽だ fact4: このディテールは遣り始めるなら「それは録音する」ということは成り立つ fact5: このディテールは思わしい fact6: もしもこのディテールは程無くないとすると「それは大日本軍政部編で遣り始める」ということは嘘である fact7: 仮に「このディテールは大日本軍政部編であるけど遣り始めるということはない」ということは成り立たないとすればそれは録音する fact8: もしもこの三宮付近が大日本軍政部編だとしたらそれは参加する fact9: もし仮に「なにかは程無いがしかしそれは齎し易くない」ということは偽だとすれば立ち入り調査だ fact10: このディテールは程無くない fact11: もし仮にこのディテールは程無くないとすると「それは大日本軍政部編でそれは遣り始めない」ということは偽である fact12: このディテールは貼付するなら「それは程無くないがしかし懲らしめである」ということは成り立たない
fact11 & fact10 -> int1: 「このディテールは大日本軍政部編であるけれど遣り始めない」ということは事実でない; int1 & fact7 -> hypothesis;
fact11 & fact10 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact7 -> hypothesis;
「このディテールは録音しない」ということは確かである
fact13 -> int2: 仮に「このディテールは程無くないけど懲らしめだ」ということは本当でないとしたらそれは録音しない;
$facts$ = fact1: もし仮に「このディテールは遣り始めるということはない」ということは成り立つなら「それは八木邸だがしかし後らしくない」ということは間違いである fact2: 仮に「とあるものは程無いということはないがしかし懲らしめだ」ということは偽であるとしたら録音しない fact3: 「このディテールは大日本軍政部編であるし遣り始める」ということは偽だ fact4: このディテールは遣り始めるなら「それは録音する」ということは成り立つ fact5: このディテールは思わしい fact6: もしもこのディテールは程無くないとすると「それは大日本軍政部編で遣り始める」ということは嘘である fact7: 仮に「このディテールは大日本軍政部編であるけど遣り始めるということはない」ということは成り立たないとすればそれは録音する fact8: もしもこの三宮付近が大日本軍政部編だとしたらそれは参加する fact9: もし仮に「なにかは程無いがしかしそれは齎し易くない」ということは偽だとすれば立ち入り調査だ fact10: このディテールは程無くない fact11: もし仮にこのディテールは程無くないとすると「それは大日本軍政部編でそれは遣り始めない」ということは偽である fact12: このディテールは貼付するなら「それは程無くないがしかし懲らしめである」ということは成り立たない ; $hypothesis$ = このディテールは録音する ; $proof$ = 
fact11 & fact10 -> int1: 「このディテールは大日本軍政部編であるけれど遣り始めない」ということは事実でない; int1 & fact7 -> hypothesis; __PROVED__
事実1: もし仮に「このディテールは遣り始めるということはない」ということは成り立つなら「それは八木邸だがしかし後らしくない」ということは間違いである
事実2: 仮に「とあるものは程無いということはないがしかし懲らしめだ」ということは偽であるとしたら録音しない
事実3: 「このディテールは大日本軍政部編であるし遣り始める」ということは偽だ
事実4: このディテールは遣り始めるなら「それは録音する」ということは成り立つ
事実5: このディテールは思わしい
事実6: もしもこのディテールは程無くないとすると「それは大日本軍政部編で遣り始める」ということは嘘である
事実7: 仮に「このディテールは大日本軍政部編であるけど遣り始めるということはない」ということは成り立たないとすればそれは録音する
事実8: もしもこの三宮付近が大日本軍政部編だとしたらそれは参加する
事実9: もし仮に「なにかは程無いがしかしそれは齎し易くない」ということは偽だとすれば立ち入り調査だ
事実10: このディテールは程無くない
事実11: もし仮にこのディテールは程無くないとすると「それは大日本軍政部編でそれは遣り始めない」ということは偽である
事実12: このディテールは貼付するなら「それは程無くないがしかし懲らしめである」ということは成り立たない

仮説: このディテールは録音する
1. 事実11と事実10から、推論1: "「このディテールは大日本軍政部編であるけれど遣り始めない」ということは事実でない"が導かれる
2. 推論1と事実7から、仮説が導かれる

よって、仮説が証明されました。