そのハンダ作業は帰還しない
fact1: 仮にこの旦那寺が強しということはなくて加えてそれが収蔵しないとするとあのＫＩＤＳは答え易い fact2: もしも「拡大すしそれに肝不全である」ものはあるとすれば「そのハンダ作業は帰還する」ということは本当だ fact3: 「拡大す」ものはある fact4: 「この旦那寺は強しない」ということは成り立つ fact5: 仮にあのＫＩＤＳが答え易いとすると肝不全である fact6: この旦那寺は強しないし加えて収蔵しない fact7: あのＫＩＤＳは拡大す
fact1 & fact6 -> int1: あのＫＩＤＳは答え易い; int1 & fact5 -> int2: あのＫＩＤＳは肝不全だ; int2 & fact7 -> int3: あのＫＩＤＳが拡大すしその上それは肝不全だ; int3 -> int4: 「拡大すししかも肝不全である」ものはある; int4 & fact2 -> hypothesis;
$facts$ = fact1: 仮にこの旦那寺が強しということはなくて加えてそれが収蔵しないとするとあのＫＩＤＳは答え易い fact2: もしも「拡大すしそれに肝不全である」ものはあるとすれば「そのハンダ作業は帰還する」ということは本当だ fact3: 「拡大す」ものはある fact4: 「この旦那寺は強しない」ということは成り立つ fact5: 仮にあのＫＩＤＳが答え易いとすると肝不全である fact6: この旦那寺は強しないし加えて収蔵しない fact7: あのＫＩＤＳは拡大す ; $hypothesis$ = そのハンダ作業は帰還しない ; $proof$ = 
fact1 & fact6 -> int1: あのＫＩＤＳは答え易い; int1 & fact5 -> int2: あのＫＩＤＳは肝不全だ; int2 & fact7 -> int3: あのＫＩＤＳが拡大すしその上それは肝不全だ; int3 -> int4: 「拡大すししかも肝不全である」ものはある; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にこの旦那寺が強しということはなくて加えてそれが収蔵しないとするとあのＫＩＤＳは答え易い
事実2: もしも「拡大すしそれに肝不全である」ものはあるとすれば「そのハンダ作業は帰還する」ということは本当だ
事実3: 「拡大す」ものはある
事実4: 「この旦那寺は強しない」ということは成り立つ
事実5: 仮にあのＫＩＤＳが答え易いとすると肝不全である
事実6: この旦那寺は強しないし加えて収蔵しない
事実7: あのＫＩＤＳは拡大す

仮説: そのハンダ作業は帰還しない
1. 事実1と事実6から、推論1: "あのＫＩＤＳは答え易い"が導かれる
2. 推論1と事実5から、推論2: "あのＫＩＤＳは肝不全だ"が導かれる
3. 推論2と事実7から、推論3: "あのＫＩＤＳが拡大すしその上それは肝不全だ"が導かれる
4. 推論3から、推論4: "「拡大すししかも肝不全である」ものはある"が導かれる
5. 推論4と事実2から、仮説が否定される

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