あの国際調査報告は藩士である
fact1: あの書士が接するとしたらあの国際調査報告は藩士でない fact2: あの書士は藩士であるかあるいはしかつめらしくないかもしくは両方だ fact3: あの書士は出向かないとしたらしかつめらしいし更に接する fact4: もし仮にあの書士が接するならあの国際調査報告はしかつめらしくない fact5: あの書士は接するかまたはしかつめらしくないかあるいは両方ともである fact6: もし「あの書士はしかつめらしいということはない」ということは確かであるならばあの国際調査報告は藩士でない fact7: その経済的独立は接しない fact8: この不規則は藩士でない fact9: 「あの書士はしかつめらしくない」ということは成り立てばあの国際調査報告は藩士だ fact10: あの書士が藩士だとすればあの国際調査報告は接する fact11: もしあの書士が藩士であるならばあの国際調査報告はしかつめらしくない fact12: もしもあの書士が藩士でないならばあの国際調査報告はしかつめらしくない
fact5 & fact1 & fact6 -> hypothesis;
fact5 & fact1 & fact6 -> hypothesis;
その極性反転は並べ代えるかまたはそれは藩士でないかもしくは両方だ
$facts$ = fact1: あの書士が接するとしたらあの国際調査報告は藩士でない fact2: あの書士は藩士であるかあるいはしかつめらしくないかもしくは両方だ fact3: あの書士は出向かないとしたらしかつめらしいし更に接する fact4: もし仮にあの書士が接するならあの国際調査報告はしかつめらしくない fact5: あの書士は接するかまたはしかつめらしくないかあるいは両方ともである fact6: もし「あの書士はしかつめらしいということはない」ということは確かであるならばあの国際調査報告は藩士でない fact7: その経済的独立は接しない fact8: この不規則は藩士でない fact9: 「あの書士はしかつめらしくない」ということは成り立てばあの国際調査報告は藩士だ fact10: あの書士が藩士だとすればあの国際調査報告は接する fact11: もしあの書士が藩士であるならばあの国際調査報告はしかつめらしくない fact12: もしもあの書士が藩士でないならばあの国際調査報告はしかつめらしくない ; $hypothesis$ = あの国際調査報告は藩士である ; $proof$ = 
fact5 & fact1 & fact6 -> hypothesis; __DISPROVED__
事実1: あの書士が接するとしたらあの国際調査報告は藩士でない
事実2: あの書士は藩士であるかあるいはしかつめらしくないかもしくは両方だ
事実3: あの書士は出向かないとしたらしかつめらしいし更に接する
事実4: もし仮にあの書士が接するならあの国際調査報告はしかつめらしくない
事実5: あの書士は接するかまたはしかつめらしくないかあるいは両方ともである
事実6: もし「あの書士はしかつめらしいということはない」ということは確かであるならばあの国際調査報告は藩士でない
事実7: その経済的独立は接しない
事実8: この不規則は藩士でない
事実9: 「あの書士はしかつめらしくない」ということは成り立てばあの国際調査報告は藩士だ
事実10: あの書士が藩士だとすればあの国際調査報告は接する
事実11: もしあの書士が藩士であるならばあの国際調査報告はしかつめらしくない
事実12: もしもあの書士が藩士でないならばあの国際調査報告はしかつめらしくない

仮説: あの国際調査報告は藩士である
1. 事実5と事実1と事実6から、仮説が否定される

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