この切磋琢磨は写像するしまた破砕する
fact1: あらゆる物は公費負担しない fact2: もしこの氏神がダニエル書ならばこの勧業はダニエル書である fact3: そのプロシージャ内は写像するということはない fact4: この切磋琢磨は写像しないとしたら「そのプロシージャ内は破砕するし加えてそれは写像する」ということは誤っている fact5: もし「「恙無くてこじる」ということは誤りな」ものがあるとすればこの氏神はダニエル書だ fact6: もし仮にそのプロシージャ内は破砕するということはないとすると「この切磋琢磨は写像するしその上破砕する」ということは成り立たない fact7: もし仮にそのプロシージャ内が公費負担しないとすれば破砕しない fact8: 仮にこの勧業がダニエル書だとするとこの切磋琢磨は写像する fact9: 「そのエレクトロニクス輸出は恙無くてこじる」ということは間違っている fact10: もし仮にこの切磋琢磨は破砕するということはないとしたら「「そのプロシージャ内は写像するし加えて破砕する」ということは誤りだ」ということは成り立つ
fact1 -> int1: そのプロシージャ内は公費負担しない; int1 & fact7 -> int2: そのプロシージャ内は破砕しない; int2 & fact6 -> hypothesis;
この切磋琢磨は写像するしさらに破砕する
fact11 -> int3: 「「恙無くてこじる」ということは偽な」物はある; int3 & fact13 -> int4: この氏神はダニエル書である; fact14 & int4 -> int5: この勧業はダニエル書だ; fact12 & int5 -> int6: この切磋琢磨は写像する;
$facts$ = fact1: あらゆる物は公費負担しない fact2: もしこの氏神がダニエル書ならばこの勧業はダニエル書である fact3: そのプロシージャ内は写像するということはない fact4: この切磋琢磨は写像しないとしたら「そのプロシージャ内は破砕するし加えてそれは写像する」ということは誤っている fact5: もし「「恙無くてこじる」ということは誤りな」ものがあるとすればこの氏神はダニエル書だ fact6: もし仮にそのプロシージャ内は破砕するということはないとすると「この切磋琢磨は写像するしその上破砕する」ということは成り立たない fact7: もし仮にそのプロシージャ内が公費負担しないとすれば破砕しない fact8: 仮にこの勧業がダニエル書だとするとこの切磋琢磨は写像する fact9: 「そのエレクトロニクス輸出は恙無くてこじる」ということは間違っている fact10: もし仮にこの切磋琢磨は破砕するということはないとしたら「「そのプロシージャ内は写像するし加えて破砕する」ということは誤りだ」ということは成り立つ ; $hypothesis$ = この切磋琢磨は写像するしまた破砕する ; $proof$ = 
fact1 -> int1: そのプロシージャ内は公費負担しない; int1 & fact7 -> int2: そのプロシージャ内は破砕しない; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: あらゆる物は公費負担しない
事実2: もしこの氏神がダニエル書ならばこの勧業はダニエル書である
事実3: そのプロシージャ内は写像するということはない
事実4: この切磋琢磨は写像しないとしたら「そのプロシージャ内は破砕するし加えてそれは写像する」ということは誤っている
事実5: もし「「恙無くてこじる」ということは誤りな」ものがあるとすればこの氏神はダニエル書だ
事実6: もし仮にそのプロシージャ内は破砕するということはないとすると「この切磋琢磨は写像するしその上破砕する」ということは成り立たない
事実7: もし仮にそのプロシージャ内が公費負担しないとすれば破砕しない
事実8: 仮にこの勧業がダニエル書だとするとこの切磋琢磨は写像する
事実9: 「そのエレクトロニクス輸出は恙無くてこじる」ということは間違っている
事実10: もし仮にこの切磋琢磨は破砕するということはないとしたら「「そのプロシージャ内は写像するし加えて破砕する」ということは誤りだ」ということは成り立つ

仮説: この切磋琢磨は写像するしまた破砕する
1. 事実1から、推論1: "そのプロシージャ内は公費負担しない"が導かれる
2. 推論1と事実7から、推論2: "そのプロシージャ内は破砕しない"が導かれる
3. 推論2と事実6から、仮説が否定される

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