「その第一次世界大戦前は使用し難いがしかし電子化であるということはない」ということは間違いだ
fact1: その第七ビーチは気忙しいということはない fact2: その第一次世界大戦前が使用し難いということはないとすればその第七ビーチは電子化だ fact3: 「その第一次世界大戦前は窮乏するしおまけに電子化である」ということは間違いである fact4: その第七ビーチは電子化だ fact5: その第七ビーチが気忙しくないとすればその第一次世界大戦前は使用し難い fact6: 「なにがしかのものは窮乏するし預け入れ金利だ」ということは成り立たないとしたらそれは預け入れ金利でない fact7: もしある物は気忙しいならば「それは使用し難くてそれは電子化であるということはない」ということは間違っている fact8: もし仮に「その第一次世界大戦前は窮乏するし加えてそれは電子化だ」ということは成り立たないとすれば電子化でない
fact5 & fact1 -> int1: その第一次世界大戦前は使用し難い; fact3 & fact8 -> int2: その第一次世界大戦前は電子化でない; int1 & int2 -> hypothesis;
fact5 & fact1 -> int1: {B}{b}; fact3 & fact8 -> int2: ¬{C}{b}; int1 & int2 -> hypothesis;
「その第一次世界大戦前は窮乏するし預け入れ金利だ」ということは誤りなら預け入れ金利でない
fact9 -> hypothesis;
$facts$ = fact1: その第七ビーチは気忙しいということはない fact2: その第一次世界大戦前が使用し難いということはないとすればその第七ビーチは電子化だ fact3: 「その第一次世界大戦前は窮乏するしおまけに電子化である」ということは間違いである fact4: その第七ビーチは電子化だ fact5: その第七ビーチが気忙しくないとすればその第一次世界大戦前は使用し難い fact6: 「なにがしかのものは窮乏するし預け入れ金利だ」ということは成り立たないとしたらそれは預け入れ金利でない fact7: もしある物は気忙しいならば「それは使用し難くてそれは電子化であるということはない」ということは間違っている fact8: もし仮に「その第一次世界大戦前は窮乏するし加えてそれは電子化だ」ということは成り立たないとすれば電子化でない ; $hypothesis$ = 「その第一次世界大戦前は使用し難いがしかし電子化であるということはない」ということは間違いだ ; $proof$ = 
fact5 & fact1 -> int1: その第一次世界大戦前は使用し難い; fact3 & fact8 -> int2: その第一次世界大戦前は電子化でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その第七ビーチは気忙しいということはない
事実2: その第一次世界大戦前が使用し難いということはないとすればその第七ビーチは電子化だ
事実3: 「その第一次世界大戦前は窮乏するしおまけに電子化である」ということは間違いである
事実4: その第七ビーチは電子化だ
事実5: その第七ビーチが気忙しくないとすればその第一次世界大戦前は使用し難い
事実6: 「なにがしかのものは窮乏するし預け入れ金利だ」ということは成り立たないとしたらそれは預け入れ金利でない
事実7: もしある物は気忙しいならば「それは使用し難くてそれは電子化であるということはない」ということは間違っている
事実8: もし仮に「その第一次世界大戦前は窮乏するし加えてそれは電子化だ」ということは成り立たないとすれば電子化でない

仮説: 「その第一次世界大戦前は使用し難いがしかし電子化であるということはない」ということは間違いだ
1. 事実5と事実1から、推論1: "その第一次世界大戦前は使用し難い"が導かれる
2. 事実3と事実8から、推論2: "その第一次世界大戦前は電子化でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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