「あの大名行列は陥落する一方でそれはぼやかさない」ということは間違いである
fact1: もしも「この節は見窄らしくないし加えて受電しない」ということは成り立たないとしたら受電する fact2: その鎖帷子は平和惚けするとすれば「それは左右され易い」ということは本当だ fact3: ある物は平和惚けしないとしたら「陥落するしさらにぼやかさない」ということは成り立つ fact4: あの元口は平和惚けする fact5: もしもこの節が気恥ずかしくて受電するとするとこの隻腕はひん剥かない fact6: その鎖帷子は左右され易いとすると「この節は国民的基盤でない」ということは確かだ fact7: 仮にこの節が国民的基盤でない一方でそれが腹黒いならば気恥ずかしい fact8: もしこの隻腕はひん剥かないとしたら「あの大名行列は陥落するがぼやかさない」ということは成り立つということはない fact9: その鎖帷子は平和惚けする fact10: 「この節は見窄らしくないし加えて受電しない」ということは事実であるということはない fact11: この節は腹黒くてさらに滑走路上である
fact2 & fact9 -> int1: その鎖帷子は左右され易い; int1 & fact6 -> int2: この節は国民的基盤でない; fact11 -> int3: この節は腹黒い; int2 & int3 -> int4: この節は国民的基盤でない一方で腹黒い; int4 & fact7 -> int5: この節は気恥ずかしい; fact10 & fact1 -> int6: この節は受電する; int5 & int6 -> int7: この節は気恥ずかしくてまたそれは受電する; int7 & fact5 -> int8: この隻腕はひん剥かない; int8 & fact8 -> hypothesis;
あの大名行列は陥落するけどそれはぼやかさない
fact12 -> int9: もしもあの大名行列が平和惚けしないならそれは陥落するがしかしぼやかさない;
$facts$ = fact1: もしも「この節は見窄らしくないし加えて受電しない」ということは成り立たないとしたら受電する fact2: その鎖帷子は平和惚けするとすれば「それは左右され易い」ということは本当だ fact3: ある物は平和惚けしないとしたら「陥落するしさらにぼやかさない」ということは成り立つ fact4: あの元口は平和惚けする fact5: もしもこの節が気恥ずかしくて受電するとするとこの隻腕はひん剥かない fact6: その鎖帷子は左右され易いとすると「この節は国民的基盤でない」ということは確かだ fact7: 仮にこの節が国民的基盤でない一方でそれが腹黒いならば気恥ずかしい fact8: もしこの隻腕はひん剥かないとしたら「あの大名行列は陥落するがぼやかさない」ということは成り立つということはない fact9: その鎖帷子は平和惚けする fact10: 「この節は見窄らしくないし加えて受電しない」ということは事実であるということはない fact11: この節は腹黒くてさらに滑走路上である ; $hypothesis$ = 「あの大名行列は陥落する一方でそれはぼやかさない」ということは間違いである ; $proof$ = 
fact2 & fact9 -> int1: その鎖帷子は左右され易い; int1 & fact6 -> int2: この節は国民的基盤でない; fact11 -> int3: この節は腹黒い; int2 & int3 -> int4: この節は国民的基盤でない一方で腹黒い; int4 & fact7 -> int5: この節は気恥ずかしい; fact10 & fact1 -> int6: この節は受電する; int5 & int6 -> int7: この節は気恥ずかしくてまたそれは受電する; int7 & fact5 -> int8: この隻腕はひん剥かない; int8 & fact8 -> hypothesis; __PROVED__
事実1: もしも「この節は見窄らしくないし加えて受電しない」ということは成り立たないとしたら受電する
事実2: その鎖帷子は平和惚けするとすれば「それは左右され易い」ということは本当だ
事実3: ある物は平和惚けしないとしたら「陥落するしさらにぼやかさない」ということは成り立つ
事実4: あの元口は平和惚けする
事実5: もしもこの節が気恥ずかしくて受電するとするとこの隻腕はひん剥かない
事実6: その鎖帷子は左右され易いとすると「この節は国民的基盤でない」ということは確かだ
事実7: 仮にこの節が国民的基盤でない一方でそれが腹黒いならば気恥ずかしい
事実8: もしこの隻腕はひん剥かないとしたら「あの大名行列は陥落するがぼやかさない」ということは成り立つということはない
事実9: その鎖帷子は平和惚けする
事実10: 「この節は見窄らしくないし加えて受電しない」ということは事実であるということはない
事実11: この節は腹黒くてさらに滑走路上である

仮説: 「あの大名行列は陥落する一方でそれはぼやかさない」ということは間違いである
1. 事実2と事実9から、推論1: "その鎖帷子は左右され易い"が導かれる
2. 推論1と事実6から、推論2: "この節は国民的基盤でない"が導かれる
3. 事実11から、推論3: "この節は腹黒い"が導かれる
4. 推論2と推論3から、推論4: "この節は国民的基盤でない一方で腹黒い"が導かれる
5. 推論4と事実7から、推論5: "この節は気恥ずかしい"が導かれる
6. 事実10と事実1から、推論6: "この節は受電する"が導かれる
7. 推論5と推論6から、推論7: "この節は気恥ずかしくてまたそれは受電する"が導かれる
8. 推論7と事実5から、推論8: "この隻腕はひん剥かない"が導かれる
9. 推論8と事実8から、仮説が導かれる

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