その御洒落は打ち上がり易くないがしかし投入する
fact1: もし「この落ち武者が投入するしその上それは打ち上がり易い」ということは偽だとするとあの白雲洞は投入しない fact2: この露光秒数が慈愛深いがそれが苦悶しないとしたらあのエリートサラリーマンは慈愛深くない fact3: この露光秒数は慈愛深くて根強いならそれは走らさない fact4: あのエリートサラリーマンは苦悶しない fact5: その乙類は着底しない fact6: あの白雲洞が投入しないとするとその御洒落は根強いしそれにそれは走らす fact7: もしあの白雲洞が着底しないとすればこの露光秒数は量子井戸でない fact8: あの白雲洞は量子井戸であるということはない fact9: もしあの白雲洞が量子井戸であるということはないとするとあのエリートサラリーマンは根強いししかも慈愛深い fact10: もしも「あのエリートサラリーマンは苦悶しない」ということは成り立つとしたらこの露光秒数は慈愛深い fact11: もし「その御洒落は根強い」ということは成り立つとしたらこの露光秒数は慈愛深いが苦悶しない fact12: もしもこの露光秒数が根強くないとすればその御洒落は打ち上がり易くない一方で投入する fact13: もし仮に何らかの物は苦悶しないとすれば「打ち上がり易いということはないし投入する」ということは事実と異なる fact14: もし仮にあのエリートサラリーマンが慈愛深くてさらに苦悶するとしたらその御洒落は苦悶しない fact15: 仮にとある物は量子井戸でないとしたら皇位継承問題であるし走らす fact16: その野辺は苦悶しない fact17: あの白雲洞は着底しない
fact10 & fact4 -> int1: この露光秒数は慈愛深い; void -> assump1: 以下のように仮定する。この露光秒数は根強い; int1 & assump1 -> int2: この露光秒数が慈愛深いしその上それは根強い; int2 & fact3 -> int3: この露光秒数は走らさない; fact15 -> int4: もし仮にこの露光秒数が量子井戸でないとしたら皇位継承問題であるし走らす; fact7 & fact17 -> int5: この露光秒数は量子井戸でない; int4 & int5 -> int6: この露光秒数は皇位継承問題だし加えて走らす; int6 -> int7: この露光秒数は走らす; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この露光秒数は根強くない; int9 & fact12 -> hypothesis;
「あのエリートサラリーマンは慈愛深くない」ということは真実だ
$facts$ = fact1: もし「この落ち武者が投入するしその上それは打ち上がり易い」ということは偽だとするとあの白雲洞は投入しない fact2: この露光秒数が慈愛深いがそれが苦悶しないとしたらあのエリートサラリーマンは慈愛深くない fact3: この露光秒数は慈愛深くて根強いならそれは走らさない fact4: あのエリートサラリーマンは苦悶しない fact5: その乙類は着底しない fact6: あの白雲洞が投入しないとするとその御洒落は根強いしそれにそれは走らす fact7: もしあの白雲洞が着底しないとすればこの露光秒数は量子井戸でない fact8: あの白雲洞は量子井戸であるということはない fact9: もしあの白雲洞が量子井戸であるということはないとするとあのエリートサラリーマンは根強いししかも慈愛深い fact10: もしも「あのエリートサラリーマンは苦悶しない」ということは成り立つとしたらこの露光秒数は慈愛深い fact11: もし「その御洒落は根強い」ということは成り立つとしたらこの露光秒数は慈愛深いが苦悶しない fact12: もしもこの露光秒数が根強くないとすればその御洒落は打ち上がり易くない一方で投入する fact13: もし仮に何らかの物は苦悶しないとすれば「打ち上がり易いということはないし投入する」ということは事実と異なる fact14: もし仮にあのエリートサラリーマンが慈愛深くてさらに苦悶するとしたらその御洒落は苦悶しない fact15: 仮にとある物は量子井戸でないとしたら皇位継承問題であるし走らす fact16: その野辺は苦悶しない fact17: あの白雲洞は着底しない ; $hypothesis$ = その御洒落は打ち上がり易くないがしかし投入する ; $proof$ = 
fact10 & fact4 -> int1: この露光秒数は慈愛深い; void -> assump1: 以下のように仮定する。この露光秒数は根強い; int1 & assump1 -> int2: この露光秒数が慈愛深いしその上それは根強い; int2 & fact3 -> int3: この露光秒数は走らさない; fact15 -> int4: もし仮にこの露光秒数が量子井戸でないとしたら皇位継承問題であるし走らす; fact7 & fact17 -> int5: この露光秒数は量子井戸でない; int4 & int5 -> int6: この露光秒数は皇位継承問題だし加えて走らす; int6 -> int7: この露光秒数は走らす; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この露光秒数は根強くない; int9 & fact12 -> hypothesis; __PROVED__
事実1: もし「この落ち武者が投入するしその上それは打ち上がり易い」ということは偽だとするとあの白雲洞は投入しない
事実2: この露光秒数が慈愛深いがそれが苦悶しないとしたらあのエリートサラリーマンは慈愛深くない
事実3: この露光秒数は慈愛深くて根強いならそれは走らさない
事実4: あのエリートサラリーマンは苦悶しない
事実5: その乙類は着底しない
事実6: あの白雲洞が投入しないとするとその御洒落は根強いしそれにそれは走らす
事実7: もしあの白雲洞が着底しないとすればこの露光秒数は量子井戸でない
事実8: あの白雲洞は量子井戸であるということはない
事実9: もしあの白雲洞が量子井戸であるということはないとするとあのエリートサラリーマンは根強いししかも慈愛深い
事実10: もしも「あのエリートサラリーマンは苦悶しない」ということは成り立つとしたらこの露光秒数は慈愛深い
事実11: もし「その御洒落は根強い」ということは成り立つとしたらこの露光秒数は慈愛深いが苦悶しない
事実12: もしもこの露光秒数が根強くないとすればその御洒落は打ち上がり易くない一方で投入する
事実13: もし仮に何らかの物は苦悶しないとすれば「打ち上がり易いということはないし投入する」ということは事実と異なる
事実14: もし仮にあのエリートサラリーマンが慈愛深くてさらに苦悶するとしたらその御洒落は苦悶しない
事実15: 仮にとある物は量子井戸でないとしたら皇位継承問題であるし走らす
事実16: その野辺は苦悶しない
事実17: あの白雲洞は着底しない

仮説: その御洒落は打ち上がり易くないがしかし投入する
1. 事実10と事実4から、推論1: "この露光秒数は慈愛深い"が導かれる
2. 仮定1: 以下のように仮定する。この露光秒数は根強い
3. 推論1と仮定1から、推論2: "この露光秒数が慈愛深いしその上それは根強い"が導かれる
4. 推論2と事実3から、推論3: "この露光秒数は走らさない"が導かれる
5. 事実15から、推論4: "もし仮にこの露光秒数が量子井戸でないとしたら皇位継承問題であるし走らす"が導かれる
6. 事実7と事実17から、推論5: "この露光秒数は量子井戸でない"が導かれる
7. 推論4と推論5から、推論6: "この露光秒数は皇位継承問題だし加えて走らす"が導かれる
8. 推論6から、推論7: "この露光秒数は走らす"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この露光秒数は根強くない"が導かれる
11. 推論9と事実12から、仮説が導かれる

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