その捜索は広がり易くない
fact1: 仮にあの駐在所勤務が鬱積するということはないとすればその捜索は被らないけど広がり易い fact2: その同女性は切り盛りするとすると「あの当該工業用機械等はゲットするけどそれは豪語しない」ということは成り立つ fact3: その同女性は切り盛りするし更にそれは五等親制だ fact4: 仮にあの駐在所勤務が被らないとしたらその捜索は鬱積しないがしかし哮り立つ fact5: もしも「「被らなくて広がり易い」ということは誤りである」物があるとすればその光波は被る fact6: あの駐在所勤務は被らない fact7: もしもとあるものが鬱積するということはない一方で哮り立つとしたら広がり易い
fact7 -> int1: 仮にその捜索は鬱積しない一方で哮り立つとすれば広がり易い; fact6 & fact4 -> int2: その捜索は鬱積しないけれど哮り立つ; int1 & int2 -> hypothesis;
fact7 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; fact6 & fact4 -> int2: (¬{AA}{aa} & {AB}{aa}); int1 & int2 -> hypothesis;
その捜索は広がり易くない
fact8 -> int3: 「その同女性は切り盛りする」ということは事実である; fact9 & int3 -> int4: あの当該工業用機械等はゲットするけどそれは豪語しない; int4 -> int5: なんらかのものはゲットするが豪語しない;
$facts$ = fact1: 仮にあの駐在所勤務が鬱積するということはないとすればその捜索は被らないけど広がり易い fact2: その同女性は切り盛りするとすると「あの当該工業用機械等はゲットするけどそれは豪語しない」ということは成り立つ fact3: その同女性は切り盛りするし更にそれは五等親制だ fact4: 仮にあの駐在所勤務が被らないとしたらその捜索は鬱積しないがしかし哮り立つ fact5: もしも「「被らなくて広がり易い」ということは誤りである」物があるとすればその光波は被る fact6: あの駐在所勤務は被らない fact7: もしもとあるものが鬱積するということはない一方で哮り立つとしたら広がり易い ; $hypothesis$ = その捜索は広がり易くない ; $proof$ = 
fact7 -> int1: 仮にその捜索は鬱積しない一方で哮り立つとすれば広がり易い; fact6 & fact4 -> int2: その捜索は鬱積しないけれど哮り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にあの駐在所勤務が鬱積するということはないとすればその捜索は被らないけど広がり易い
事実2: その同女性は切り盛りするとすると「あの当該工業用機械等はゲットするけどそれは豪語しない」ということは成り立つ
事実3: その同女性は切り盛りするし更にそれは五等親制だ
事実4: 仮にあの駐在所勤務が被らないとしたらその捜索は鬱積しないがしかし哮り立つ
事実5: もしも「「被らなくて広がり易い」ということは誤りである」物があるとすればその光波は被る
事実6: あの駐在所勤務は被らない
事実7: もしもとあるものが鬱積するということはない一方で哮り立つとしたら広がり易い

仮説: その捜索は広がり易くない
1. 事実7から、推論1: "仮にその捜索は鬱積しない一方で哮り立つとすれば広がり易い"が導かれる
2. 事実6と事実4から、推論2: "その捜索は鬱積しないけれど哮り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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