「事業開始でそれに新型戦車な」物はある
fact1: 仮にあるものが徴発すれば溜め込み易い fact2: 仮にこの労働投入が粘り強くないとしたらその二箇月以上は継ぎ合わせる fact3: もしもとあるものが用い易くないとすればそれは新型戦車である fact4: この労働投入が埋め合わせるならその二箇月以上は継ぎ合わせる fact5: この労働投入は埋め合わせるかまたは粘り強くないかあるいは両方ともである fact6: 「「身籠もるということはないけれど説明し難い」ということは誤りである」ものはある fact7: 用い易くない物は事業開始だし更に新型戦車である fact8: 「事業開始である」ものはある fact9: 仮にその優越が継ぎ合わせるとするとびっくりする fact10: しょっぱい郵政公社はある fact11: 説明し難いということはないものは御覧頂くし更に用い易い fact12: このオーラル・ヒストリーは新型戦車である fact13: もし「身籠もる」ものはあるとすれば「このオーラル・ヒストリーは用い易くない」ということは本当だ fact14: もしもなにがしかのものが勉強し始めるとすれば身籠もる fact15: 「もし仮に「その二箇月以上は継ぎ合わせる」ということは確かであるなら「その優越は継ぎ合わせる」ということは成り立つ」ということは間違いであるということはない fact16: この控えは新型戦車であるし自称する fact17: もしも何らかのものはびっくりするしおまけに身籠もるとすればそれは説明し難くない fact18: もし「「身籠もらないが説明し難い」ということは成り立たない」物があればこのオーラル・ヒストリーは用い易くない
fact7 -> int1: このオーラル・ヒストリーが用い易くないならば事業開始であるし新型戦車である; fact18 & fact6 -> int2: このオーラル・ヒストリーは用い易いということはない; int1 & int2 -> int3: このオーラル・ヒストリーは事業開始でおまけにそれは新型戦車である; int3 -> hypothesis;
fact7 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); fact18 & fact6 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ({AA}{aa} & {AB}{aa}); int3 -> hypothesis;
その優越は御覧頂くしさらに溜め込み易い
fact25 -> int4: もしもその優越は説明し難くないとすればそれは御覧頂くし用い易い; fact22 -> int5: もしその優越がびっくりするし更にそれは身籠もるとしたら「説明し難くない」ということは成り立つ; fact26 & fact27 & fact24 -> int6: その二箇月以上は継ぎ合わせる; fact23 & int6 -> int7: その優越は継ぎ合わせる; fact21 & int7 -> int8: 「その優越はびっくりする」ということは成り立つ; fact20 -> int9: もしその優越が勉強し始めるとするとそれは身籠もる; fact19 -> int10: もし仮に「その優越は徴発する」ということは確かであるとすると「溜め込み易い」ということは事実である;
$facts$ = fact1: 仮にあるものが徴発すれば溜め込み易い fact2: 仮にこの労働投入が粘り強くないとしたらその二箇月以上は継ぎ合わせる fact3: もしもとあるものが用い易くないとすればそれは新型戦車である fact4: この労働投入が埋め合わせるならその二箇月以上は継ぎ合わせる fact5: この労働投入は埋め合わせるかまたは粘り強くないかあるいは両方ともである fact6: 「「身籠もるということはないけれど説明し難い」ということは誤りである」ものはある fact7: 用い易くない物は事業開始だし更に新型戦車である fact8: 「事業開始である」ものはある fact9: 仮にその優越が継ぎ合わせるとするとびっくりする fact10: しょっぱい郵政公社はある fact11: 説明し難いということはないものは御覧頂くし更に用い易い fact12: このオーラル・ヒストリーは新型戦車である fact13: もし「身籠もる」ものはあるとすれば「このオーラル・ヒストリーは用い易くない」ということは本当だ fact14: もしもなにがしかのものが勉強し始めるとすれば身籠もる fact15: 「もし仮に「その二箇月以上は継ぎ合わせる」ということは確かであるなら「その優越は継ぎ合わせる」ということは成り立つ」ということは間違いであるということはない fact16: この控えは新型戦車であるし自称する fact17: もしも何らかのものはびっくりするしおまけに身籠もるとすればそれは説明し難くない fact18: もし「「身籠もらないが説明し難い」ということは成り立たない」物があればこのオーラル・ヒストリーは用い易くない ; $hypothesis$ = 「事業開始でそれに新型戦車な」物はある ; $proof$ = 
fact7 -> int1: このオーラル・ヒストリーが用い易くないならば事業開始であるし新型戦車である; fact18 & fact6 -> int2: このオーラル・ヒストリーは用い易いということはない; int1 & int2 -> int3: このオーラル・ヒストリーは事業開始でおまけにそれは新型戦車である; int3 -> hypothesis; __PROVED__
事実1: 仮にあるものが徴発すれば溜め込み易い
事実2: 仮にこの労働投入が粘り強くないとしたらその二箇月以上は継ぎ合わせる
事実3: もしもとあるものが用い易くないとすればそれは新型戦車である
事実4: この労働投入が埋め合わせるならその二箇月以上は継ぎ合わせる
事実5: この労働投入は埋め合わせるかまたは粘り強くないかあるいは両方ともである
事実6: 「「身籠もるということはないけれど説明し難い」ということは誤りである」ものはある
事実7: 用い易くない物は事業開始だし更に新型戦車である
事実8: 「事業開始である」ものはある
事実9: 仮にその優越が継ぎ合わせるとするとびっくりする
事実10: しょっぱい郵政公社はある
事実11: 説明し難いということはないものは御覧頂くし更に用い易い
事実12: このオーラル・ヒストリーは新型戦車である
事実13: もし「身籠もる」ものはあるとすれば「このオーラル・ヒストリーは用い易くない」ということは本当だ
事実14: もしもなにがしかのものが勉強し始めるとすれば身籠もる
事実15: 「もし仮に「その二箇月以上は継ぎ合わせる」ということは確かであるなら「その優越は継ぎ合わせる」ということは成り立つ」ということは間違いであるということはない
事実16: この控えは新型戦車であるし自称する
事実17: もしも何らかのものはびっくりするしおまけに身籠もるとすればそれは説明し難くない
事実18: もし「「身籠もらないが説明し難い」ということは成り立たない」物があればこのオーラル・ヒストリーは用い易くない

仮説: 「事業開始でそれに新型戦車な」物はある
1. 事実7から、推論1: "このオーラル・ヒストリーが用い易くないならば事業開始であるし新型戦車である"が導かれる
2. 事実18と事実6から、推論2: "このオーラル・ヒストリーは用い易いということはない"が導かれる
3. 推論1と推論2から、推論3: "このオーラル・ヒストリーは事業開始でおまけにそれは新型戦車である"が導かれる
4. 推論3から、仮説が導かれる

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