「このヘッドライトは書記しないしさらに汚れ易くない」ということは成り立たない
fact1: その養老元年は押し易い fact2: もし仮になにがしかのものは奇襲するとすると「軽しないしそれに初々しかない」ということは正しくない fact3: このヘッドライトは汚れ易いということはない fact4: もし仮に「この建設地方債は軽しないし初々しいということはない」ということは偽であるとしたらその養老元年は当該事実である fact5: その養老元年は損害賠償でなくて確証するということはない fact6: 当該事実は展開方向である fact7: あの誘導電波は奇襲する fact8: 仮に「あの誘導電波は軽しない」ということは成り立つとするとこのヘッドライトは汚れ易くないしそれは奇襲しない fact9: なにがしかの物は奇襲するとしたら「それは書記しないし汚れ易くない」ということは確かであるということはない fact10: もしも「「その養老元年は初々しかない」ということは正しくない」ということは成り立つならそれはＤＹだ fact11: もし仮にこのヘッドライトが展開方向でないとすればその養老元年は当該事実でなくて更にそれは書記しない fact12: そのサラセン人は書記する fact13: 「その養老元年は初々しいがしかし展開方向でない」ということは偽である fact14: ある物がフィニッシュするとすればそれは押し易くない fact15: もし仮にこのヘッドライトが奇襲するということはないとしたらあの誘導電波は書記しない fact16: その図書館委員会は奇襲する fact17: なにかは展開方向でない一方でそれが当該事実だとすれば奇襲する fact18: もしもあの誘導電波が奇襲すればこの建設地方債は奇襲する fact19: その養老元年がＤＹならばそのサラセン人はフィニッシュする fact20: 何かは展開方向であるとするとそれはＤＹだ fact21: もしもそのサラセン人が押し易くないとするとこのヘッドライトは書記しないし汚れ易くない fact22: もし仮にこの建設地方債は汚れ易いとしたら「初々しいし更にそれは軽しない」ということは誤っている
fact2 -> int1: もしこの建設地方債は奇襲するとしたら「それは軽しないし初々しかない」ということは成り立たない; fact7 & fact18 -> int2: この建設地方債は奇襲する; int1 & int2 -> int3: 「この建設地方債は軽しないしそれは初々しかない」ということは成り立たない; int3 & fact4 -> int4: その養老元年は当該事実である; fact6 -> int5: もしその養老元年は当該事実であるならばそれは展開方向だ; int4 & int5 -> int6: 「その養老元年は展開方向だ」ということは事実である; fact20 -> int7: 仮に「その養老元年は展開方向だ」ということは事実だとしたらＤＹである; int6 & int7 -> int8: その養老元年はＤＹである; int8 & fact19 -> int9: そのサラセン人はフィニッシュする; fact14 -> int10: そのサラセン人がフィニッシュすればそれは押し易くない; int9 & int10 -> int11: そのサラセン人は押し易くない; int11 & fact21 -> hypothesis;
「このヘッドライトは書記するということはないし汚れ易くない」ということは成り立たない
fact24 -> int12: もしもこのヘッドライトは奇襲すれば「書記しなくて加えて汚れ易いということはない」ということは成り立つということはない; fact23 -> int13: このヘッドライトは展開方向でないけれど当該事実であるならば奇襲する;
$facts$ = fact1: その養老元年は押し易い fact2: もし仮になにがしかのものは奇襲するとすると「軽しないしそれに初々しかない」ということは正しくない fact3: このヘッドライトは汚れ易いということはない fact4: もし仮に「この建設地方債は軽しないし初々しいということはない」ということは偽であるとしたらその養老元年は当該事実である fact5: その養老元年は損害賠償でなくて確証するということはない fact6: 当該事実は展開方向である fact7: あの誘導電波は奇襲する fact8: 仮に「あの誘導電波は軽しない」ということは成り立つとするとこのヘッドライトは汚れ易くないしそれは奇襲しない fact9: なにがしかの物は奇襲するとしたら「それは書記しないし汚れ易くない」ということは確かであるということはない fact10: もしも「「その養老元年は初々しかない」ということは正しくない」ということは成り立つならそれはＤＹだ fact11: もし仮にこのヘッドライトが展開方向でないとすればその養老元年は当該事実でなくて更にそれは書記しない fact12: そのサラセン人は書記する fact13: 「その養老元年は初々しいがしかし展開方向でない」ということは偽である fact14: ある物がフィニッシュするとすればそれは押し易くない fact15: もし仮にこのヘッドライトが奇襲するということはないとしたらあの誘導電波は書記しない fact16: その図書館委員会は奇襲する fact17: なにかは展開方向でない一方でそれが当該事実だとすれば奇襲する fact18: もしもあの誘導電波が奇襲すればこの建設地方債は奇襲する fact19: その養老元年がＤＹならばそのサラセン人はフィニッシュする fact20: 何かは展開方向であるとするとそれはＤＹだ fact21: もしもそのサラセン人が押し易くないとするとこのヘッドライトは書記しないし汚れ易くない fact22: もし仮にこの建設地方債は汚れ易いとしたら「初々しいし更にそれは軽しない」ということは誤っている ; $hypothesis$ = 「このヘッドライトは書記しないしさらに汚れ易くない」ということは成り立たない ; $proof$ = 
fact2 -> int1: もしこの建設地方債は奇襲するとしたら「それは軽しないし初々しかない」ということは成り立たない; fact7 & fact18 -> int2: この建設地方債は奇襲する; int1 & int2 -> int3: 「この建設地方債は軽しないしそれは初々しかない」ということは成り立たない; int3 & fact4 -> int4: その養老元年は当該事実である; fact6 -> int5: もしその養老元年は当該事実であるならばそれは展開方向だ; int4 & int5 -> int6: 「その養老元年は展開方向だ」ということは事実である; fact20 -> int7: 仮に「その養老元年は展開方向だ」ということは事実だとしたらＤＹである; int6 & int7 -> int8: その養老元年はＤＹである; int8 & fact19 -> int9: そのサラセン人はフィニッシュする; fact14 -> int10: そのサラセン人がフィニッシュすればそれは押し易くない; int9 & int10 -> int11: そのサラセン人は押し易くない; int11 & fact21 -> hypothesis; __DISPROVED__
事実1: その養老元年は押し易い
事実2: もし仮になにがしかのものは奇襲するとすると「軽しないしそれに初々しかない」ということは正しくない
事実3: このヘッドライトは汚れ易いということはない
事実4: もし仮に「この建設地方債は軽しないし初々しいということはない」ということは偽であるとしたらその養老元年は当該事実である
事実5: その養老元年は損害賠償でなくて確証するということはない
事実6: 当該事実は展開方向である
事実7: あの誘導電波は奇襲する
事実8: 仮に「あの誘導電波は軽しない」ということは成り立つとするとこのヘッドライトは汚れ易くないしそれは奇襲しない
事実9: なにがしかの物は奇襲するとしたら「それは書記しないし汚れ易くない」ということは確かであるということはない
事実10: もしも「「その養老元年は初々しかない」ということは正しくない」ということは成り立つならそれはＤＹだ
事実11: もし仮にこのヘッドライトが展開方向でないとすればその養老元年は当該事実でなくて更にそれは書記しない
事実12: そのサラセン人は書記する
事実13: 「その養老元年は初々しいがしかし展開方向でない」ということは偽である
事実14: ある物がフィニッシュするとすればそれは押し易くない
事実15: もし仮にこのヘッドライトが奇襲するということはないとしたらあの誘導電波は書記しない
事実16: その図書館委員会は奇襲する
事実17: なにかは展開方向でない一方でそれが当該事実だとすれば奇襲する
事実18: もしもあの誘導電波が奇襲すればこの建設地方債は奇襲する
事実19: その養老元年がＤＹならばそのサラセン人はフィニッシュする
事実20: 何かは展開方向であるとするとそれはＤＹだ
事実21: もしもそのサラセン人が押し易くないとするとこのヘッドライトは書記しないし汚れ易くない
事実22: もし仮にこの建設地方債は汚れ易いとしたら「初々しいし更にそれは軽しない」ということは誤っている

仮説: 「このヘッドライトは書記しないしさらに汚れ易くない」ということは成り立たない
1. 事実2から、推論1: "もしこの建設地方債は奇襲するとしたら「それは軽しないし初々しかない」ということは成り立たない"が導かれる
2. 事実7と事実18から、推論2: "この建設地方債は奇襲する"が導かれる
3. 推論1と推論2から、推論3: "「この建設地方債は軽しないしそれは初々しかない」ということは成り立たない"が導かれる
4. 推論3と事実4から、推論4: "その養老元年は当該事実である"が導かれる
5. 事実6から、推論5: "もしその養老元年は当該事実であるならばそれは展開方向だ"が導かれる
6. 推論4と推論5から、推論6: "「その養老元年は展開方向だ」ということは事実である"が導かれる
7. 事実20から、推論7: "仮に「その養老元年は展開方向だ」ということは事実だとしたらＤＹである"が導かれる
8. 推論6と推論7から、推論8: "その養老元年はＤＹである"が導かれる
9. 推論8と事実19から、推論9: "そのサラセン人はフィニッシュする"が導かれる
10. 事実14から、推論10: "そのサラセン人がフィニッシュすればそれは押し易くない"が導かれる
11. 推論9と推論10から、推論11: "そのサラセン人は押し易くない"が導かれる
12. 推論11と事実21から、仮説が否定される

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