「もし灯し難いしおまけに忌まわしくないとすれば厳い」ものはある
fact1: 「その該当例は圧縮出来る」ということは成り立つ fact2: 「もし仮にそのアドミッション・オフィスが灯し難いしさらに忌まわしいとするとそのアドミッション・オフィスは聞き終える」ということは真実である fact3: あの隣室は丸っこい fact4: そのアドミッション・オフィスは忌まわしくない fact5: もし仮にとあるものが聞き終えないならそれは厳いということはない fact6: 仮にそのアドミッション・オフィスが灯し難いししかも忌まわしいとすればそれは厳い fact7: なんらかのものがＳＯならばそれは仲間らしい fact8: もしもなにかは丸っこいしそれが仲間らしいとしたらそれは聞き終えるということはない fact9: もし仮になんらかのものが聞き終えるとすればそれは厳い fact10: 灯し難いし忌まわしいということはないものは聞き終える fact11: 厳くないものは出来難い一方で打ち下ろさない fact12: そのアドミッション・オフィスは灯し難い fact13: 「そのハンドは国家主義だ」ということは本当だ fact14: 「もし灯し難いし忌まわしいならば「厳い」ということは成り立つ」ものはある fact15: そのアドミッション・オフィスは課税対象だ fact16: 仮に灯し難いものが忌まわしいとすればそれは聞き終える
fact10 -> int1: もし仮にそのアドミッション・オフィスが灯し難い一方でそれが忌まわしくないとすれば聞き終える; void -> assump1: 以下のように仮定する。「そのアドミッション・オフィスは灯し難いけれど忌まわしくない」ということは真実だ; int1 & assump1 -> int2: そのアドミッション・オフィスは聞き終える; fact9 -> int3: そのアドミッション・オフィスは聞き終えれば「それは厳い」ということは真実である; int2 & int3 -> int4: そのアドミッション・オフィスは厳い; [assump1] & int4 -> int5: もしもそのアドミッション・オフィスは灯し難いけれど忌まわしいということはないとすれば厳い; int5 -> hypothesis;
あの隣室は出来難いけどそれは打ち下ろさない
fact17 -> int6: もしもあの隣室が厳くないとすると出来難くてさらにそれは打ち下ろさない; fact18 -> int7: 仮にあの隣室が聞き終えないならばそれは厳くない; fact19 -> int8: 「もしもあの隣室は丸っこいししかも仲間らしいならば「あの隣室は聞き終える」ということは成り立たない」ということは事実である; fact20 -> int9: もしもあの隣室がＳＯならば仲間らしい;
$facts$ = fact1: 「その該当例は圧縮出来る」ということは成り立つ fact2: 「もし仮にそのアドミッション・オフィスが灯し難いしさらに忌まわしいとするとそのアドミッション・オフィスは聞き終える」ということは真実である fact3: あの隣室は丸っこい fact4: そのアドミッション・オフィスは忌まわしくない fact5: もし仮にとあるものが聞き終えないならそれは厳いということはない fact6: 仮にそのアドミッション・オフィスが灯し難いししかも忌まわしいとすればそれは厳い fact7: なんらかのものがＳＯならばそれは仲間らしい fact8: もしもなにかは丸っこいしそれが仲間らしいとしたらそれは聞き終えるということはない fact9: もし仮になんらかのものが聞き終えるとすればそれは厳い fact10: 灯し難いし忌まわしいということはないものは聞き終える fact11: 厳くないものは出来難い一方で打ち下ろさない fact12: そのアドミッション・オフィスは灯し難い fact13: 「そのハンドは国家主義だ」ということは本当だ fact14: 「もし灯し難いし忌まわしいならば「厳い」ということは成り立つ」ものはある fact15: そのアドミッション・オフィスは課税対象だ fact16: 仮に灯し難いものが忌まわしいとすればそれは聞き終える ; $hypothesis$ = 「もし灯し難いしおまけに忌まわしくないとすれば厳い」ものはある ; $proof$ = 
fact10 -> int1: もし仮にそのアドミッション・オフィスが灯し難い一方でそれが忌まわしくないとすれば聞き終える; void -> assump1: 以下のように仮定する。「そのアドミッション・オフィスは灯し難いけれど忌まわしくない」ということは真実だ; int1 & assump1 -> int2: そのアドミッション・オフィスは聞き終える; fact9 -> int3: そのアドミッション・オフィスは聞き終えれば「それは厳い」ということは真実である; int2 & int3 -> int4: そのアドミッション・オフィスは厳い; [assump1] & int4 -> int5: もしもそのアドミッション・オフィスは灯し難いけれど忌まわしいということはないとすれば厳い; int5 -> hypothesis; __PROVED__
事実1: 「その該当例は圧縮出来る」ということは成り立つ
事実2: 「もし仮にそのアドミッション・オフィスが灯し難いしさらに忌まわしいとするとそのアドミッション・オフィスは聞き終える」ということは真実である
事実3: あの隣室は丸っこい
事実4: そのアドミッション・オフィスは忌まわしくない
事実5: もし仮にとあるものが聞き終えないならそれは厳いということはない
事実6: 仮にそのアドミッション・オフィスが灯し難いししかも忌まわしいとすればそれは厳い
事実7: なんらかのものがＳＯならばそれは仲間らしい
事実8: もしもなにかは丸っこいしそれが仲間らしいとしたらそれは聞き終えるということはない
事実9: もし仮になんらかのものが聞き終えるとすればそれは厳い
事実10: 灯し難いし忌まわしいということはないものは聞き終える
事実11: 厳くないものは出来難い一方で打ち下ろさない
事実12: そのアドミッション・オフィスは灯し難い
事実13: 「そのハンドは国家主義だ」ということは本当だ
事実14: 「もし灯し難いし忌まわしいならば「厳い」ということは成り立つ」ものはある
事実15: そのアドミッション・オフィスは課税対象だ
事実16: 仮に灯し難いものが忌まわしいとすればそれは聞き終える

仮説: 「もし灯し難いしおまけに忌まわしくないとすれば厳い」ものはある
1. 事実10から、推論1: "もし仮にそのアドミッション・オフィスが灯し難い一方でそれが忌まわしくないとすれば聞き終える"が導かれる
2. 仮定1: 以下のように仮定する。「そのアドミッション・オフィスは灯し難いけれど忌まわしくない」ということは真実だ
3. 推論1と仮定1から、推論2: "そのアドミッション・オフィスは聞き終える"が導かれる
4. 事実9から、推論3: "そのアドミッション・オフィスは聞き終えれば「それは厳い」ということは真実である"が導かれる
5. 推論2と推論3から、推論4: "そのアドミッション・オフィスは厳い"が導かれる
6. [仮定1]と推論4から、推論5: "もしもそのアドミッション・オフィスは灯し難いけれど忌まわしいということはないとすれば厳い"が導かれる
7. 推論5から、仮説が導かれる

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