「そのエッチは狭しない」ということは確かである
fact1: もしあのＤＯＷは理由付けないけど狭しなら「そのエッチはイミュニゼーションでない」ということは成り立つ fact2: そのエッチはイミュニゼーションでない fact3: そのエッチが狭しないがそれがイミュニゼーションだとすればあのＤＯＷは理由付けない fact4: もしあのＤＯＷが理由付けないがイミュニゼーションであるとすればあのエッチは狭しない fact5: そのエッチは御散歩だ fact6: そのエッチは理由付ける fact7: あのＤＯＷが狭しないがしかしそれが理由付けるとしたらそのエッチはイミュニゼーションでない fact8: 仮にそのエッチがイミュニゼーションだということはないがしかし狭しならばあのＤＯＷは理由付けない fact9: あのＤＯＷは理由付けないがイミュニゼーションである fact10: あのＤＯＷは理由付けない一方で狭し fact11: そのエッチは山林原野でないがしかし被支配階級である fact12: 「その摂津衆が狭しということはないしその上それは会合しない」ということは成り立つということはないならあのＤＯＷは狭し fact13: あのパケットは理由付けるということはない
fact4 & fact9 -> hypothesis;
fact4 & fact9 -> hypothesis;
そのエッチは狭し
$facts$ = fact1: もしあのＤＯＷは理由付けないけど狭しなら「そのエッチはイミュニゼーションでない」ということは成り立つ fact2: そのエッチはイミュニゼーションでない fact3: そのエッチが狭しないがそれがイミュニゼーションだとすればあのＤＯＷは理由付けない fact4: もしあのＤＯＷが理由付けないがイミュニゼーションであるとすればあのエッチは狭しない fact5: そのエッチは御散歩だ fact6: そのエッチは理由付ける fact7: あのＤＯＷが狭しないがしかしそれが理由付けるとしたらそのエッチはイミュニゼーションでない fact8: 仮にそのエッチがイミュニゼーションだということはないがしかし狭しならばあのＤＯＷは理由付けない fact9: あのＤＯＷは理由付けないがイミュニゼーションである fact10: あのＤＯＷは理由付けない一方で狭し fact11: そのエッチは山林原野でないがしかし被支配階級である fact12: 「その摂津衆が狭しということはないしその上それは会合しない」ということは成り立つということはないならあのＤＯＷは狭し fact13: あのパケットは理由付けるということはない ; $hypothesis$ = 「そのエッチは狭しない」ということは確かである ; $proof$ = 
fact4 & fact9 -> hypothesis; __PROVED__
事実1: もしあのＤＯＷは理由付けないけど狭しなら「そのエッチはイミュニゼーションでない」ということは成り立つ
事実2: そのエッチはイミュニゼーションでない
事実3: そのエッチが狭しないがそれがイミュニゼーションだとすればあのＤＯＷは理由付けない
事実4: もしあのＤＯＷが理由付けないがイミュニゼーションであるとすればあのエッチは狭しない
事実5: そのエッチは御散歩だ
事実6: そのエッチは理由付ける
事実7: あのＤＯＷが狭しないがしかしそれが理由付けるとしたらそのエッチはイミュニゼーションでない
事実8: 仮にそのエッチがイミュニゼーションだということはないがしかし狭しならばあのＤＯＷは理由付けない
事実9: あのＤＯＷは理由付けないがイミュニゼーションである
事実10: あのＤＯＷは理由付けない一方で狭し
事実11: そのエッチは山林原野でないがしかし被支配階級である
事実12: 「その摂津衆が狭しということはないしその上それは会合しない」ということは成り立つということはないならあのＤＯＷは狭し
事実13: あのパケットは理由付けるということはない

仮説: 「そのエッチは狭しない」ということは確かである
1. 事実4と事実9から、仮説が導かれる

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