あのハネムーンはメイン液晶だ
fact1: もし仮に「この連結事業年度終了は叩き為さるがしかしそれはメイン液晶でない」ということは誤りであるなら「それは南半球である」ということは成り立つ fact2: あのハネムーンは盛装する fact3: 野暮ったい物は南半球だ fact4: 仮に「あのハネムーンはめんど臭いけれど南半球でない」ということは真実でないとしたら寝巻きだ fact5: その側頭筋は寝巻きだということはない fact6: もし仮にあのハネムーンは叩き為さるとしたら「めんど臭い」ということは真実である fact7: もしとあるものが南半球だとするとそれは寝巻きだ fact8: もしなんらかのものが野暮ったいとしたらそれは叩き為さる fact9: 「あのハネムーンは古臭いけどそれは制止しない」ということは誤りだ fact10: もしもあのハネムーンが叩き為さるならこの連結事業年度終了は冷え易い fact11: あのハネムーンは古臭い fact12: この連結事業年度終了は南半球だ fact13: この連結事業年度終了は叩き為さらない fact14: あるものは意識喪失であるなら「冷え易い」ということは成り立つ fact15: そのドリアンは意識喪失である fact16: 「仮にあのハネムーンはメイン液晶でないとすれば「あのハネムーンはめんど臭いけど南半球でない」ということは成り立たない」ということは成り立つ fact17: そのカッサー等は叩き為さらない fact18: あの負けは叩き為さる fact19: もしもそのモザイク画は微笑ましいということはないなら「それはめんど臭くてそれに左右対称でない」ということは誤りである fact20: 仮にあのハネムーンが冷え易いとすればこの連結事業年度終了は野暮ったい fact21: 「寝巻きは意識喪失だ」ということは本当だ fact22: この連結事業年度終了はめんど臭い fact23: 「なんらかの物は冷え易くないとすれば「「寝巻きでないがしかし意識喪失だ」ということは本当だ」ということは誤りである」ということは事実だ fact24: 野暮ったい物はめんど臭い fact25: あのハネムーンは冷え易いとすれば「それは野暮ったい」ということは事実だ
void -> assump1: 以下のように仮定する。「あのハネムーンはメイン液晶でない」ということは真実だ; fact16 & assump1 -> int1: 「あのハネムーンはめんど臭い一方で南半球でない」ということは成り立たない; int1 & fact4 -> int2: あのハネムーンは寝巻きである; fact21 -> int3: 仮にあのハネムーンは寝巻きであるとしたらそれは意識喪失である; int2 & int3 -> int4: あのハネムーンは意識喪失である; fact14 -> int5: もし仮にあのハネムーンは意識喪失であるとすればそれは冷え易い; int4 & int5 -> int6: あのハネムーンは冷え易い; int6 & fact20 -> int7: この連結事業年度終了は野暮ったい; fact8 -> int8: 「この連結事業年度終了は野暮ったい」ということは正しいとすれば叩き為さる; int7 & int8 -> int9: この連結事業年度終了は叩き為さる; int9 & fact13 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
「あのハネムーンはメイン液晶でない」ということは本当だ
fact26 -> int11: もしもあのハネムーンは冷え易くないとすると「それは寝巻きだということはないがしかし意識喪失である」ということは本当でない;
$facts$ = fact1: もし仮に「この連結事業年度終了は叩き為さるがしかしそれはメイン液晶でない」ということは誤りであるなら「それは南半球である」ということは成り立つ fact2: あのハネムーンは盛装する fact3: 野暮ったい物は南半球だ fact4: 仮に「あのハネムーンはめんど臭いけれど南半球でない」ということは真実でないとしたら寝巻きだ fact5: その側頭筋は寝巻きだということはない fact6: もし仮にあのハネムーンは叩き為さるとしたら「めんど臭い」ということは真実である fact7: もしとあるものが南半球だとするとそれは寝巻きだ fact8: もしなんらかのものが野暮ったいとしたらそれは叩き為さる fact9: 「あのハネムーンは古臭いけどそれは制止しない」ということは誤りだ fact10: もしもあのハネムーンが叩き為さるならこの連結事業年度終了は冷え易い fact11: あのハネムーンは古臭い fact12: この連結事業年度終了は南半球だ fact13: この連結事業年度終了は叩き為さらない fact14: あるものは意識喪失であるなら「冷え易い」ということは成り立つ fact15: そのドリアンは意識喪失である fact16: 「仮にあのハネムーンはメイン液晶でないとすれば「あのハネムーンはめんど臭いけど南半球でない」ということは成り立たない」ということは成り立つ fact17: そのカッサー等は叩き為さらない fact18: あの負けは叩き為さる fact19: もしもそのモザイク画は微笑ましいということはないなら「それはめんど臭くてそれに左右対称でない」ということは誤りである fact20: 仮にあのハネムーンが冷え易いとすればこの連結事業年度終了は野暮ったい fact21: 「寝巻きは意識喪失だ」ということは本当だ fact22: この連結事業年度終了はめんど臭い fact23: 「なんらかの物は冷え易くないとすれば「「寝巻きでないがしかし意識喪失だ」ということは本当だ」ということは誤りである」ということは事実だ fact24: 野暮ったい物はめんど臭い fact25: あのハネムーンは冷え易いとすれば「それは野暮ったい」ということは事実だ ; $hypothesis$ = あのハネムーンはメイン液晶だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのハネムーンはメイン液晶でない」ということは真実だ; fact16 & assump1 -> int1: 「あのハネムーンはめんど臭い一方で南半球でない」ということは成り立たない; int1 & fact4 -> int2: あのハネムーンは寝巻きである; fact21 -> int3: 仮にあのハネムーンは寝巻きであるとしたらそれは意識喪失である; int2 & int3 -> int4: あのハネムーンは意識喪失である; fact14 -> int5: もし仮にあのハネムーンは意識喪失であるとすればそれは冷え易い; int4 & int5 -> int6: あのハネムーンは冷え易い; int6 & fact20 -> int7: この連結事業年度終了は野暮ったい; fact8 -> int8: 「この連結事業年度終了は野暮ったい」ということは正しいとすれば叩き為さる; int7 & int8 -> int9: この連結事業年度終了は叩き為さる; int9 & fact13 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: もし仮に「この連結事業年度終了は叩き為さるがしかしそれはメイン液晶でない」ということは誤りであるなら「それは南半球である」ということは成り立つ
事実2: あのハネムーンは盛装する
事実3: 野暮ったい物は南半球だ
事実4: 仮に「あのハネムーンはめんど臭いけれど南半球でない」ということは真実でないとしたら寝巻きだ
事実5: その側頭筋は寝巻きだということはない
事実6: もし仮にあのハネムーンは叩き為さるとしたら「めんど臭い」ということは真実である
事実7: もしとあるものが南半球だとするとそれは寝巻きだ
事実8: もしなんらかのものが野暮ったいとしたらそれは叩き為さる
事実9: 「あのハネムーンは古臭いけどそれは制止しない」ということは誤りだ
事実10: もしもあのハネムーンが叩き為さるならこの連結事業年度終了は冷え易い
事実11: あのハネムーンは古臭い
事実12: この連結事業年度終了は南半球だ
事実13: この連結事業年度終了は叩き為さらない
事実14: あるものは意識喪失であるなら「冷え易い」ということは成り立つ
事実15: そのドリアンは意識喪失である
事実16: 「仮にあのハネムーンはメイン液晶でないとすれば「あのハネムーンはめんど臭いけど南半球でない」ということは成り立たない」ということは成り立つ
事実17: そのカッサー等は叩き為さらない
事実18: あの負けは叩き為さる
事実19: もしもそのモザイク画は微笑ましいということはないなら「それはめんど臭くてそれに左右対称でない」ということは誤りである
事実20: 仮にあのハネムーンが冷え易いとすればこの連結事業年度終了は野暮ったい
事実21: 「寝巻きは意識喪失だ」ということは本当だ
事実22: この連結事業年度終了はめんど臭い
事実23: 「なんらかの物は冷え易くないとすれば「「寝巻きでないがしかし意識喪失だ」ということは本当だ」ということは誤りである」ということは事実だ
事実24: 野暮ったい物はめんど臭い
事実25: あのハネムーンは冷え易いとすれば「それは野暮ったい」ということは事実だ

仮説: あのハネムーンはメイン液晶だ
1. 仮定1: 以下のように仮定する。「あのハネムーンはメイン液晶でない」ということは真実だ
2. 事実16と仮定1から、推論1: "「あのハネムーンはめんど臭い一方で南半球でない」ということは成り立たない"が導かれる
3. 推論1と事実4から、推論2: "あのハネムーンは寝巻きである"が導かれる
4. 事実21から、推論3: "仮にあのハネムーンは寝巻きであるとしたらそれは意識喪失である"が導かれる
5. 推論2と推論3から、推論4: "あのハネムーンは意識喪失である"が導かれる
6. 事実14から、推論5: "もし仮にあのハネムーンは意識喪失であるとすればそれは冷え易い"が導かれる
7. 推論4と推論5から、推論6: "あのハネムーンは冷え易い"が導かれる
8. 推論6と事実20から、推論7: "この連結事業年度終了は野暮ったい"が導かれる
9. 事実8から、推論8: "「この連結事業年度終了は野暮ったい」ということは正しいとすれば叩き為さる"が導かれる
10. 推論7と推論8から、推論9: "この連結事業年度終了は叩き為さる"が導かれる
11. 推論9と事実13から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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