この一人称は属すということはないか撒かないかまたは両方ともである
fact1: もしあの飽和状態は携帯しないか立て難いということはないかもしくはどちらもだとしたら惨くない fact2: もしもこの金剛山が撒くとすればこの一人称は属さないかまたはそれは撒かないかもしくは両方だ fact3: もしあの飽和状態がゆらゆらするとすればこの金剛山はＤＶＤ‐ＲＡＭ／Ｒドライブだが拡散するということはない fact4: もし仮に「あの飽和状態は惨いということはない」ということは成り立つとしたらそれは真っ黒くないしじっとしない fact5: あの飽和状態が真っ黒くないしじっとしないとするとこの一人称は拡散するということはない fact6: もしもあの飽和状態が浸漬しないとすれば面倒臭くなくてそれは費用計上する fact7: もしもこの金剛山がＤＶＤ‐ＲＡＭ／Ｒドライブだけれどそれが拡散しないならそれは撒く fact8: 「この一人称はゆらゆらしないかＤＶＤ‐ＲＡＭ／Ｒドライブだということはないかあるいはどちらもである」ということは間違いならこの金剛山はゆらゆらするということはない fact9: もし仮にあの飽和状態が浸漬しないならばそれは費用計上する fact10: 仮になにがしかの物は浸漬すれば「「それは属さないかまたは撒くということはない」ということは真実だ」ということは偽である fact11: 何らかのものはゆらゆらするとすると「浸漬する」ということは成り立つ fact12: 「もしもこの一人称がＤＶＤ‐ＲＡＭ／Ｒドライブであるしそれにゆらゆらするとすればこの一人称は撒く」ということは正しい fact13: 「あの飽和状態は面倒臭いということはないが費用計上する」ということは偽だ fact14: その国家統治は撒くしじっとする fact15: もしなにかは浸漬するとすれば「それはゆらゆらする」ということは事実である
void -> assump1: 以下のように仮定する。あの飽和状態は浸漬しない; fact6 & assump1 -> int1: あの飽和状態は面倒臭くないけれどそれは費用計上する; int1 & fact13 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの飽和状態は浸漬する; fact15 -> int4: もしもあの飽和状態が浸漬するとすればゆらゆらする; int3 & int4 -> int5: 「あの飽和状態はゆらゆらする」ということは本当だ; int5 & fact3 -> int6: この金剛山はＤＶＤ‐ＲＡＭ／Ｒドライブであるけれど拡散するということはない; int6 & fact7 -> int7: この金剛山は撒く; int7 & fact2 -> hypothesis;
あの飽和状態は拡散する
fact17 -> int8: その国家統治は撒く; int8 -> int9: とあるものは撒く;
$facts$ = fact1: もしあの飽和状態は携帯しないか立て難いということはないかもしくはどちらもだとしたら惨くない fact2: もしもこの金剛山が撒くとすればこの一人称は属さないかまたはそれは撒かないかもしくは両方だ fact3: もしあの飽和状態がゆらゆらするとすればこの金剛山はＤＶＤ‐ＲＡＭ／Ｒドライブだが拡散するということはない fact4: もし仮に「あの飽和状態は惨いということはない」ということは成り立つとしたらそれは真っ黒くないしじっとしない fact5: あの飽和状態が真っ黒くないしじっとしないとするとこの一人称は拡散するということはない fact6: もしもあの飽和状態が浸漬しないとすれば面倒臭くなくてそれは費用計上する fact7: もしもこの金剛山がＤＶＤ‐ＲＡＭ／Ｒドライブだけれどそれが拡散しないならそれは撒く fact8: 「この一人称はゆらゆらしないかＤＶＤ‐ＲＡＭ／Ｒドライブだということはないかあるいはどちらもである」ということは間違いならこの金剛山はゆらゆらするということはない fact9: もし仮にあの飽和状態が浸漬しないならばそれは費用計上する fact10: 仮になにがしかの物は浸漬すれば「「それは属さないかまたは撒くということはない」ということは真実だ」ということは偽である fact11: 何らかのものはゆらゆらするとすると「浸漬する」ということは成り立つ fact12: 「もしもこの一人称がＤＶＤ‐ＲＡＭ／Ｒドライブであるしそれにゆらゆらするとすればこの一人称は撒く」ということは正しい fact13: 「あの飽和状態は面倒臭いということはないが費用計上する」ということは偽だ fact14: その国家統治は撒くしじっとする fact15: もしなにかは浸漬するとすれば「それはゆらゆらする」ということは事実である ; $hypothesis$ = この一人称は属すということはないか撒かないかまたは両方ともである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの飽和状態は浸漬しない; fact6 & assump1 -> int1: あの飽和状態は面倒臭くないけれどそれは費用計上する; int1 & fact13 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの飽和状態は浸漬する; fact15 -> int4: もしもあの飽和状態が浸漬するとすればゆらゆらする; int3 & int4 -> int5: 「あの飽和状態はゆらゆらする」ということは本当だ; int5 & fact3 -> int6: この金剛山はＤＶＤ‐ＲＡＭ／Ｒドライブであるけれど拡散するということはない; int6 & fact7 -> int7: この金剛山は撒く; int7 & fact2 -> hypothesis; __PROVED__
事実1: もしあの飽和状態は携帯しないか立て難いということはないかもしくはどちらもだとしたら惨くない
事実2: もしもこの金剛山が撒くとすればこの一人称は属さないかまたはそれは撒かないかもしくは両方だ
事実3: もしあの飽和状態がゆらゆらするとすればこの金剛山はＤＶＤ‐ＲＡＭ／Ｒドライブだが拡散するということはない
事実4: もし仮に「あの飽和状態は惨いということはない」ということは成り立つとしたらそれは真っ黒くないしじっとしない
事実5: あの飽和状態が真っ黒くないしじっとしないとするとこの一人称は拡散するということはない
事実6: もしもあの飽和状態が浸漬しないとすれば面倒臭くなくてそれは費用計上する
事実7: もしもこの金剛山がＤＶＤ‐ＲＡＭ／Ｒドライブだけれどそれが拡散しないならそれは撒く
事実8: 「この一人称はゆらゆらしないかＤＶＤ‐ＲＡＭ／Ｒドライブだということはないかあるいはどちらもである」ということは間違いならこの金剛山はゆらゆらするということはない
事実9: もし仮にあの飽和状態が浸漬しないならばそれは費用計上する
事実10: 仮になにがしかの物は浸漬すれば「「それは属さないかまたは撒くということはない」ということは真実だ」ということは偽である
事実11: 何らかのものはゆらゆらするとすると「浸漬する」ということは成り立つ
事実12: 「もしもこの一人称がＤＶＤ‐ＲＡＭ／Ｒドライブであるしそれにゆらゆらするとすればこの一人称は撒く」ということは正しい
事実13: 「あの飽和状態は面倒臭いということはないが費用計上する」ということは偽だ
事実14: その国家統治は撒くしじっとする
事実15: もしなにかは浸漬するとすれば「それはゆらゆらする」ということは事実である

仮説: この一人称は属すということはないか撒かないかまたは両方ともである
1. 仮定1: 以下のように仮定する。あの飽和状態は浸漬しない
2. 事実6と仮定1から、推論1: "あの飽和状態は面倒臭くないけれどそれは費用計上する"が導かれる
3. 推論1と事実13から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの飽和状態は浸漬する"が導かれる
5. 事実15から、推論4: "もしもあの飽和状態が浸漬するとすればゆらゆらする"が導かれる
6. 推論3と推論4から、推論5: "「あの飽和状態はゆらゆらする」ということは本当だ"が導かれる
7. 推論5と事実3から、推論6: "この金剛山はＤＶＤ‐ＲＡＭ／Ｒドライブであるけれど拡散するということはない"が導かれる
8. 推論6と事実7から、推論7: "この金剛山は撒く"が導かれる
9. 推論7と事実2から、仮説が導かれる

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