その図書以外は考慮す
fact1: もし仮になんらかの物は屯するとすると「それは冷め難いかまたは上げパンでない」ということは成り立たない fact2: そのコンクリート製仕込み槽は図り難くない fact3: 仮にそのコンクリート製仕込み槽が屯するとすると冷め難くない fact4: 「この秩序妨害は取り外せる一方で過ごし易くない」ということは間違いならその大儀は上げパンでない fact5: この秩序妨害が摩り下ろすとすればその図書以外は考慮す fact6: 「この秩序妨害は取り外せるし更に過ごし易い」ということは間違っている fact7: 仮にこの秩序妨害は摩り下ろしないとすると「それは取り外せるが過ごし易くない」ということは誤りである fact8: そのコンクリート製仕込み槽は冷め難いということはない fact9: もしもとある物が屯するとしたら冷め難くない fact10: そのコンクリート製仕込み槽は図り難いが馴れ馴れしくないならば屯する fact11: もしこの秩序妨害は摩り下ろさないとしたら「取り外せるしまた過ごし易い」ということは嘘だ fact12: 仮になんらかの物は冷め難いとすると「それは摩り下ろすということはなくて上げパンだということはない」ということは誤っている fact13: もし仮にその大儀が上げパンであるということはないとしたらそのコンクリート製仕込み槽は冷め難いかまたは上げパンでないかどちらもだ fact14: そのコンクリート製仕込み槽が図り難くないししかもそれが馴れ馴れしくないならば屯する fact15: もしもこの秩序妨害が過ごし易いとするとその大儀は上げパンでない fact16: そのコンクリート製仕込み槽は図り難いということはないし馴れ馴れしいということはない
void -> assump1: 以下のように仮定する。この秩序妨害は摩り下ろすということはない; fact7 & assump1 -> int1: 「この秩序妨害は取り外せる一方でそれは過ごし易くない」ということは間違いである; int1 & fact4 -> int2: その大儀は上げパンでない; int2 & fact13 -> int3: そのコンクリート製仕込み槽は冷め難いかあるいは上げパンでない; fact16 & fact14 -> int4: そのコンクリート製仕込み槽は屯する; fact1 -> int5: もしもそのコンクリート製仕込み槽は屯すれば「冷め難いかもしくはそれは上げパンであるということはない」ということは誤っている; int4 & int5 -> int6: 「そのコンクリート製仕込み槽は冷め難いかもしくは上げパンでないかあるいはどちらもだ」ということは偽である; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この秩序妨害は摩り下ろす; int8 & fact5 -> hypothesis;
その図書以外は考慮すらない
fact17 -> int9: この秩序妨害は冷め難いとすれば「摩り下ろさないしそれは上げパンでない」ということは成り立たない;
$facts$ = fact1: もし仮になんらかの物は屯するとすると「それは冷め難いかまたは上げパンでない」ということは成り立たない fact2: そのコンクリート製仕込み槽は図り難くない fact3: 仮にそのコンクリート製仕込み槽が屯するとすると冷め難くない fact4: 「この秩序妨害は取り外せる一方で過ごし易くない」ということは間違いならその大儀は上げパンでない fact5: この秩序妨害が摩り下ろすとすればその図書以外は考慮す fact6: 「この秩序妨害は取り外せるし更に過ごし易い」ということは間違っている fact7: 仮にこの秩序妨害は摩り下ろしないとすると「それは取り外せるが過ごし易くない」ということは誤りである fact8: そのコンクリート製仕込み槽は冷め難いということはない fact9: もしもとある物が屯するとしたら冷め難くない fact10: そのコンクリート製仕込み槽は図り難いが馴れ馴れしくないならば屯する fact11: もしこの秩序妨害は摩り下ろさないとしたら「取り外せるしまた過ごし易い」ということは嘘だ fact12: 仮になんらかの物は冷め難いとすると「それは摩り下ろすということはなくて上げパンだということはない」ということは誤っている fact13: もし仮にその大儀が上げパンであるということはないとしたらそのコンクリート製仕込み槽は冷め難いかまたは上げパンでないかどちらもだ fact14: そのコンクリート製仕込み槽が図り難くないししかもそれが馴れ馴れしくないならば屯する fact15: もしもこの秩序妨害が過ごし易いとするとその大儀は上げパンでない fact16: そのコンクリート製仕込み槽は図り難いということはないし馴れ馴れしいということはない ; $hypothesis$ = その図書以外は考慮す ; $proof$ = 
void -> assump1: 以下のように仮定する。この秩序妨害は摩り下ろすということはない; fact7 & assump1 -> int1: 「この秩序妨害は取り外せる一方でそれは過ごし易くない」ということは間違いである; int1 & fact4 -> int2: その大儀は上げパンでない; int2 & fact13 -> int3: そのコンクリート製仕込み槽は冷め難いかあるいは上げパンでない; fact16 & fact14 -> int4: そのコンクリート製仕込み槽は屯する; fact1 -> int5: もしもそのコンクリート製仕込み槽は屯すれば「冷め難いかもしくはそれは上げパンであるということはない」ということは誤っている; int4 & int5 -> int6: 「そのコンクリート製仕込み槽は冷め難いかもしくは上げパンでないかあるいはどちらもだ」ということは偽である; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この秩序妨害は摩り下ろす; int8 & fact5 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物は屯するとすると「それは冷め難いかまたは上げパンでない」ということは成り立たない
事実2: そのコンクリート製仕込み槽は図り難くない
事実3: 仮にそのコンクリート製仕込み槽が屯するとすると冷め難くない
事実4: 「この秩序妨害は取り外せる一方で過ごし易くない」ということは間違いならその大儀は上げパンでない
事実5: この秩序妨害が摩り下ろすとすればその図書以外は考慮す
事実6: 「この秩序妨害は取り外せるし更に過ごし易い」ということは間違っている
事実7: 仮にこの秩序妨害は摩り下ろしないとすると「それは取り外せるが過ごし易くない」ということは誤りである
事実8: そのコンクリート製仕込み槽は冷め難いということはない
事実9: もしもとある物が屯するとしたら冷め難くない
事実10: そのコンクリート製仕込み槽は図り難いが馴れ馴れしくないならば屯する
事実11: もしこの秩序妨害は摩り下ろさないとしたら「取り外せるしまた過ごし易い」ということは嘘だ
事実12: 仮になんらかの物は冷め難いとすると「それは摩り下ろすということはなくて上げパンだということはない」ということは誤っている
事実13: もし仮にその大儀が上げパンであるということはないとしたらそのコンクリート製仕込み槽は冷め難いかまたは上げパンでないかどちらもだ
事実14: そのコンクリート製仕込み槽が図り難くないししかもそれが馴れ馴れしくないならば屯する
事実15: もしもこの秩序妨害が過ごし易いとするとその大儀は上げパンでない
事実16: そのコンクリート製仕込み槽は図り難いということはないし馴れ馴れしいということはない

仮説: その図書以外は考慮す
1. 仮定1: 以下のように仮定する。この秩序妨害は摩り下ろすということはない
2. 事実7と仮定1から、推論1: "「この秩序妨害は取り外せる一方でそれは過ごし易くない」ということは間違いである"が導かれる
3. 推論1と事実4から、推論2: "その大儀は上げパンでない"が導かれる
4. 推論2と事実13から、推論3: "そのコンクリート製仕込み槽は冷め難いかあるいは上げパンでない"が導かれる
5. 事実16と事実14から、推論4: "そのコンクリート製仕込み槽は屯する"が導かれる
6. 事実1から、推論5: "もしもそのコンクリート製仕込み槽は屯すれば「冷め難いかもしくはそれは上げパンであるということはない」ということは誤っている"が導かれる
7. 推論4と推論5から、推論6: "「そのコンクリート製仕込み槽は冷め難いかもしくは上げパンでないかあるいはどちらもだ」ということは偽である"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この秩序妨害は摩り下ろす"が導かれる
10. 推論8と事実5から、仮説が導かれる

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