「その腹部大動脈瘤は色っぽくないか回し始める」ということは誤りである
fact1: 「この刑法典はしどけなくてさらにそれは異業種交流だ」ということは事実だということはない fact2: その腹部大動脈瘤は色っぽい fact3: 仮にあの銘仙はしどけなくないなら「この刑法典はしどけないし異業種交流だ」ということは成り立たない fact4: もしその腹部大動脈瘤は励起光でないとすると「それは色っぽくないかもしくは回し始めるかまたは両方ともである」ということは誤りである fact5: もしあの銘仙がしどけないとすると公示価格でないしそれは付き始めない fact6: もし仮に「なにがしかの物はしどけないかまたはそれは励起光でない」ということは成り立たないならば「それは付き始めない」ということは成り立たない fact7: 「あの銘仙は公示価格でないし付き始めない」ということは成り立たない fact8: しどけなくない物は異業種交流でないならば回し始めない fact9: この刑法典は色っぽい fact10: もし仮に「この刑法典はしどけなくない一方で異業種交流である」ということは偽だとするとその腹部大動脈瘤は励起光でない fact11: あの銘仙は付き始めない fact12: このシステム・アナリストはしどけない fact13: もしこの刑法典が無重力であるとすればあの銘仙はしどけなくないしおまけに異業種交流でない fact14: その腹部大動脈瘤は去来するということはない fact15: もしもあの銘仙はしどけなくないとすると「この刑法典はしどけないということはないけれどそれは異業種交流である」ということは真実でない fact16: もしもあの銘仙が回し始めるということはなくてそれが励起光であるということはないならその腹部大動脈瘤は回し始める fact17: もしも「あの銘仙は付き始める」ということは確かだとしたらあの敷地内出入り口は付き始める fact18: 「その腹部大動脈瘤は回し始めるということはないが異業種交流である」ということは誤っている fact19: 「その腹部大動脈瘤は色っぽくないけどしどけない」ということは間違いである
void -> assump1: 以下のように仮定する。あの銘仙はしどけない; fact5 & assump1 -> int1: あの銘仙は公示価格でないしそれは付き始めない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの銘仙はしどけなくない; int3 & fact15 -> int4: 「この刑法典はしどけなくないが異業種交流だ」ということは成り立たない; int4 & fact10 -> int5: その腹部大動脈瘤は励起光でない; int5 & fact4 -> hypothesis;
その腹部大動脈瘤は色っぽくないかあるいは回し始めるかあるいは両方ともである
fact20 -> int6: あの銘仙がしどけなくなくてそれは異業種交流でないとしたらそれは回し始めない;
$facts$ = fact1: 「この刑法典はしどけなくてさらにそれは異業種交流だ」ということは事実だということはない fact2: その腹部大動脈瘤は色っぽい fact3: 仮にあの銘仙はしどけなくないなら「この刑法典はしどけないし異業種交流だ」ということは成り立たない fact4: もしその腹部大動脈瘤は励起光でないとすると「それは色っぽくないかもしくは回し始めるかまたは両方ともである」ということは誤りである fact5: もしあの銘仙がしどけないとすると公示価格でないしそれは付き始めない fact6: もし仮に「なにがしかの物はしどけないかまたはそれは励起光でない」ということは成り立たないならば「それは付き始めない」ということは成り立たない fact7: 「あの銘仙は公示価格でないし付き始めない」ということは成り立たない fact8: しどけなくない物は異業種交流でないならば回し始めない fact9: この刑法典は色っぽい fact10: もし仮に「この刑法典はしどけなくない一方で異業種交流である」ということは偽だとするとその腹部大動脈瘤は励起光でない fact11: あの銘仙は付き始めない fact12: このシステム・アナリストはしどけない fact13: もしこの刑法典が無重力であるとすればあの銘仙はしどけなくないしおまけに異業種交流でない fact14: その腹部大動脈瘤は去来するということはない fact15: もしもあの銘仙はしどけなくないとすると「この刑法典はしどけないということはないけれどそれは異業種交流である」ということは真実でない fact16: もしもあの銘仙が回し始めるということはなくてそれが励起光であるということはないならその腹部大動脈瘤は回し始める fact17: もしも「あの銘仙は付き始める」ということは確かだとしたらあの敷地内出入り口は付き始める fact18: 「その腹部大動脈瘤は回し始めるということはないが異業種交流である」ということは誤っている fact19: 「その腹部大動脈瘤は色っぽくないけどしどけない」ということは間違いである ; $hypothesis$ = 「その腹部大動脈瘤は色っぽくないか回し始める」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの銘仙はしどけない; fact5 & assump1 -> int1: あの銘仙は公示価格でないしそれは付き始めない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの銘仙はしどけなくない; int3 & fact15 -> int4: 「この刑法典はしどけなくないが異業種交流だ」ということは成り立たない; int4 & fact10 -> int5: その腹部大動脈瘤は励起光でない; int5 & fact4 -> hypothesis; __PROVED__
事実1: 「この刑法典はしどけなくてさらにそれは異業種交流だ」ということは事実だということはない
事実2: その腹部大動脈瘤は色っぽい
事実3: 仮にあの銘仙はしどけなくないなら「この刑法典はしどけないし異業種交流だ」ということは成り立たない
事実4: もしその腹部大動脈瘤は励起光でないとすると「それは色っぽくないかもしくは回し始めるかまたは両方ともである」ということは誤りである
事実5: もしあの銘仙がしどけないとすると公示価格でないしそれは付き始めない
事実6: もし仮に「なにがしかの物はしどけないかまたはそれは励起光でない」ということは成り立たないならば「それは付き始めない」ということは成り立たない
事実7: 「あの銘仙は公示価格でないし付き始めない」ということは成り立たない
事実8: しどけなくない物は異業種交流でないならば回し始めない
事実9: この刑法典は色っぽい
事実10: もし仮に「この刑法典はしどけなくない一方で異業種交流である」ということは偽だとするとその腹部大動脈瘤は励起光でない
事実11: あの銘仙は付き始めない
事実12: このシステム・アナリストはしどけない
事実13: もしこの刑法典が無重力であるとすればあの銘仙はしどけなくないしおまけに異業種交流でない
事実14: その腹部大動脈瘤は去来するということはない
事実15: もしもあの銘仙はしどけなくないとすると「この刑法典はしどけないということはないけれどそれは異業種交流である」ということは真実でない
事実16: もしもあの銘仙が回し始めるということはなくてそれが励起光であるということはないならその腹部大動脈瘤は回し始める
事実17: もしも「あの銘仙は付き始める」ということは確かだとしたらあの敷地内出入り口は付き始める
事実18: 「その腹部大動脈瘤は回し始めるということはないが異業種交流である」ということは誤っている
事実19: 「その腹部大動脈瘤は色っぽくないけどしどけない」ということは間違いである

仮説: 「その腹部大動脈瘤は色っぽくないか回し始める」ということは誤りである
1. 仮定1: 以下のように仮定する。あの銘仙はしどけない
2. 事実5と仮定1から、推論1: "あの銘仙は公示価格でないしそれは付き始めない"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの銘仙はしどけなくない"が導かれる
5. 推論3と事実15から、推論4: "「この刑法典はしどけなくないが異業種交流だ」ということは成り立たない"が導かれる
6. 推論4と事実10から、推論5: "その腹部大動脈瘤は励起光でない"が導かれる
7. 推論5と事実4から、仮説が導かれる

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