あのダウンロードファイルは倍する
fact1: 「あの母さん豚は叙すけどオートポイエーシス・システムでない」ということは誤りだ fact2: 仮にあのダウンロードファイルがオーラル・ヒストリー・プロジェクトでないならあの東京都内は剛性係数でない fact3: 「何らかの物はオーラル・ヒストリー・プロジェクトだ」ということは事実であるとしたら剛性係数である fact4: 剛性係数は倍する fact5: もしもあのダウンロードファイルは反応熱であるとすればオーラル・ヒストリー・プロジェクトだ fact6: もし「とある物は叙す一方でオートポイエーシス・システムでない」ということは間違っているとすると叙すない fact7: 仮にあの東京都内が倍しないならばあのダウンロードファイルは倍しない fact8: とある物が箇条書きするということはないとしたら倍するし回し続ける fact9: その新刊は倍する fact10: もしあのダウンロードファイルがオーラル・ヒストリー・プロジェクトでないとするとあの東京都内は反応熱でない fact11: あのダウンロードファイルは汗臭い fact12: 仮にその伝言メモが倍するしかつ反応熱ならばあの東京都内は倍しない fact13: もしもとあるものが校名でないしかつ宜しくないならその伝言メモは箇条書きしない fact14: 区別し易い物は校名でないし宜しくない fact15: その社会的規範はバージョンアップする fact16: あの東京都内は反応熱であるかあるいはそれは叙すということはないかもしくは両方である fact17: 仮に何らかの物は叙すないとしたら「「剛性係数だけどオーラル・ヒストリー・プロジェクトでない」ということは成り立つ」ということは本当でない fact18: もしその社会的規範がバージョンアップするとすれば区別し易い fact19: もしあの東京都内が叙すならばそれはドリームである fact20: 「叙す」物はある fact21: もしもあの東京都内が反応熱であるかそれは叙すないか両方であるとしたら反応熱である fact22: もしもあの所領は作用時間だとすれば「成り易い」ということは正しい fact23: もし仮に「叙す」ものはあるとすれば「「あの東京都内は回し続けるしかつ倍する」ということは成り立たない」ということは成り立つ fact24: オーラル・ヒストリー・プロジェクトは叙す
void -> assump1: 以下のように仮定する。あのダウンロードファイルはオーラル・ヒストリー・プロジェクトでない; fact10 & assump1 -> int1: あの東京都内は反応熱でない; fact21 & fact16 -> int2: あの東京都内は反応熱である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのダウンロードファイルはオーラル・ヒストリー・プロジェクトである; fact3 -> int5: もしもあのダウンロードファイルはオーラル・ヒストリー・プロジェクトであるなら剛性係数だ; int4 & int5 -> int6: あのダウンロードファイルは剛性係数だ; fact4 -> int7: 仮にあのダウンロードファイルが剛性係数ならば倍する; int6 & int7 -> hypothesis;
あのダウンロードファイルは倍しない
fact28 -> int8: もしその伝言メモが箇条書きしないならばそれは倍するしそれは回し続ける; fact26 -> int9: もしもその社会的規範が区別し易いとしたらそれは校名でないし宜しくない; fact29 & fact31 -> int10: その社会的規範は区別し易い; int9 & int10 -> int11: その社会的規範は校名でなくてそれに宜しくない; int11 -> int12: 何らかの物は校名でないし加えて宜しくない; int12 & fact27 -> int13: その伝言メモは箇条書きしない; int8 & int13 -> int14: その伝言メモは倍するし回し続ける; int14 -> int15: その伝言メモは倍する; fact30 -> int16: もしあの母さん豚は叙すということはないとすれば「剛性係数であるし加えてオーラル・ヒストリー・プロジェクトでない」ということは成り立たない; fact25 -> int17: もしも「あの母さん豚は叙すがオートポイエーシス・システムでない」ということは成り立たないとすればそれは叙すない; int17 & fact33 -> int18: あの母さん豚は叙すない; int16 & int18 -> int19: 「「あの母さん豚は剛性係数だけれどそれはオーラル・ヒストリー・プロジェクトでない」ということは間違っている」ということは成り立つ; int19 -> int20: 「「剛性係数でしかもオーラル・ヒストリー・プロジェクトでない」ということは成り立たない」物はある;
$facts$ = fact1: 「あの母さん豚は叙すけどオートポイエーシス・システムでない」ということは誤りだ fact2: 仮にあのダウンロードファイルがオーラル・ヒストリー・プロジェクトでないならあの東京都内は剛性係数でない fact3: 「何らかの物はオーラル・ヒストリー・プロジェクトだ」ということは事実であるとしたら剛性係数である fact4: 剛性係数は倍する fact5: もしもあのダウンロードファイルは反応熱であるとすればオーラル・ヒストリー・プロジェクトだ fact6: もし「とある物は叙す一方でオートポイエーシス・システムでない」ということは間違っているとすると叙すない fact7: 仮にあの東京都内が倍しないならばあのダウンロードファイルは倍しない fact8: とある物が箇条書きするということはないとしたら倍するし回し続ける fact9: その新刊は倍する fact10: もしあのダウンロードファイルがオーラル・ヒストリー・プロジェクトでないとするとあの東京都内は反応熱でない fact11: あのダウンロードファイルは汗臭い fact12: 仮にその伝言メモが倍するしかつ反応熱ならばあの東京都内は倍しない fact13: もしもとあるものが校名でないしかつ宜しくないならその伝言メモは箇条書きしない fact14: 区別し易い物は校名でないし宜しくない fact15: その社会的規範はバージョンアップする fact16: あの東京都内は反応熱であるかあるいはそれは叙すということはないかもしくは両方である fact17: 仮に何らかの物は叙すないとしたら「「剛性係数だけどオーラル・ヒストリー・プロジェクトでない」ということは成り立つ」ということは本当でない fact18: もしその社会的規範がバージョンアップするとすれば区別し易い fact19: もしあの東京都内が叙すならばそれはドリームである fact20: 「叙す」物はある fact21: もしもあの東京都内が反応熱であるかそれは叙すないか両方であるとしたら反応熱である fact22: もしもあの所領は作用時間だとすれば「成り易い」ということは正しい fact23: もし仮に「叙す」ものはあるとすれば「「あの東京都内は回し続けるしかつ倍する」ということは成り立たない」ということは成り立つ fact24: オーラル・ヒストリー・プロジェクトは叙す ; $hypothesis$ = あのダウンロードファイルは倍する ; $proof$ = 
void -> assump1: 以下のように仮定する。あのダウンロードファイルはオーラル・ヒストリー・プロジェクトでない; fact10 & assump1 -> int1: あの東京都内は反応熱でない; fact21 & fact16 -> int2: あの東京都内は反応熱である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのダウンロードファイルはオーラル・ヒストリー・プロジェクトである; fact3 -> int5: もしもあのダウンロードファイルはオーラル・ヒストリー・プロジェクトであるなら剛性係数だ; int4 & int5 -> int6: あのダウンロードファイルは剛性係数だ; fact4 -> int7: 仮にあのダウンロードファイルが剛性係数ならば倍する; int6 & int7 -> hypothesis; __PROVED__
事実1: 「あの母さん豚は叙すけどオートポイエーシス・システムでない」ということは誤りだ
事実2: 仮にあのダウンロードファイルがオーラル・ヒストリー・プロジェクトでないならあの東京都内は剛性係数でない
事実3: 「何らかの物はオーラル・ヒストリー・プロジェクトだ」ということは事実であるとしたら剛性係数である
事実4: 剛性係数は倍する
事実5: もしもあのダウンロードファイルは反応熱であるとすればオーラル・ヒストリー・プロジェクトだ
事実6: もし「とある物は叙す一方でオートポイエーシス・システムでない」ということは間違っているとすると叙すない
事実7: 仮にあの東京都内が倍しないならばあのダウンロードファイルは倍しない
事実8: とある物が箇条書きするということはないとしたら倍するし回し続ける
事実9: その新刊は倍する
事実10: もしあのダウンロードファイルがオーラル・ヒストリー・プロジェクトでないとするとあの東京都内は反応熱でない
事実11: あのダウンロードファイルは汗臭い
事実12: 仮にその伝言メモが倍するしかつ反応熱ならばあの東京都内は倍しない
事実13: もしもとあるものが校名でないしかつ宜しくないならその伝言メモは箇条書きしない
事実14: 区別し易い物は校名でないし宜しくない
事実15: その社会的規範はバージョンアップする
事実16: あの東京都内は反応熱であるかあるいはそれは叙すということはないかもしくは両方である
事実17: 仮に何らかの物は叙すないとしたら「「剛性係数だけどオーラル・ヒストリー・プロジェクトでない」ということは成り立つ」ということは本当でない
事実18: もしその社会的規範がバージョンアップするとすれば区別し易い
事実19: もしあの東京都内が叙すならばそれはドリームである
事実20: 「叙す」物はある
事実21: もしもあの東京都内が反応熱であるかそれは叙すないか両方であるとしたら反応熱である
事実22: もしもあの所領は作用時間だとすれば「成り易い」ということは正しい
事実23: もし仮に「叙す」ものはあるとすれば「「あの東京都内は回し続けるしかつ倍する」ということは成り立たない」ということは成り立つ
事実24: オーラル・ヒストリー・プロジェクトは叙す

仮説: あのダウンロードファイルは倍する
1. 仮定1: 以下のように仮定する。あのダウンロードファイルはオーラル・ヒストリー・プロジェクトでない
2. 事実10と仮定1から、推論1: "あの東京都内は反応熱でない"が導かれる
3. 事実21と事実16から、推論2: "あの東京都内は反応熱である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのダウンロードファイルはオーラル・ヒストリー・プロジェクトである"が導かれる
6. 事実3から、推論5: "もしもあのダウンロードファイルはオーラル・ヒストリー・プロジェクトであるなら剛性係数だ"が導かれる
7. 推論4と推論5から、推論6: "あのダウンロードファイルは剛性係数だ"が導かれる
8. 事実4から、推論7: "仮にあのダウンロードファイルが剛性係数ならば倍する"が導かれる
9. 推論6と推論7から、仮説が導かれる

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