その稲妻はごっつい
fact1: その稲妻は検討出来ない fact2: あの促音は格好悪いということはない fact3: もしなにかは摘出手術であるししかも格好悪いとすると「ごっつかない」ということは正しい fact4: そのブロックは喋り始める fact5: もしそのブロックが経営面積ならば事実婚だ fact6: 仮に何かは事実婚だとしたら「煩くないしそれは検討出来る」ということは間違っている fact7: もし「ある物は喋り始めるが膠着するということはない」ということは成り立たないならそれは摘出手術である fact8: もし仮に「そのブロックは摘出手術であるかまたは格好悪くないかあるいはどちらもだ」ということは間違いであるならば「その稲妻はごっつかない」ということは事実である fact9: 「もしなにがしかの物は摘出手術であるとしたら悲観する」ということは成り立つ fact10: もしもそのブロックが喋り始めるけどそれが膠着するということはないとしたらあの促音は格好悪い fact11: もし仮にそのブロックが検討出来ないならばその稲妻はごっつい fact12: 仮に何かは喋り始めないとするとそれは摘出手術である fact13: 「そのブロックは喋り始めないなら「そのブロックは摘出手術である」ということは成り立つ」ということは真実である fact14: そのブロックが悲観するとしたらそれは検討出来ない
void -> assump1: 以下のように仮定する。そのブロックは喋り始める一方で膠着しない; fact10 & assump1 -> int1: あの促音は格好悪い; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのブロックは喋り始める一方で膠着しない」ということは成り立たない; fact7 -> int4: もしも「そのブロックは喋り始めるけど膠着するということはない」ということは事実と異なれば摘出手術だ; int3 & int4 -> int5: そのブロックは摘出手術だ; fact9 -> int6: もし仮にそのブロックが摘出手術だとしたらそれは悲観する; int5 & int6 -> int7: そのブロックは悲観する; int7 & fact14 -> int8: そのブロックは検討出来ない; int8 & fact11 -> hypothesis;
その稲妻はごっつかない
fact17 -> int9: もしもそのブロックは事実婚なら「それは煩くないが検討出来る」ということは誤っている;
$facts$ = fact1: その稲妻は検討出来ない fact2: あの促音は格好悪いということはない fact3: もしなにかは摘出手術であるししかも格好悪いとすると「ごっつかない」ということは正しい fact4: そのブロックは喋り始める fact5: もしそのブロックが経営面積ならば事実婚だ fact6: 仮に何かは事実婚だとしたら「煩くないしそれは検討出来る」ということは間違っている fact7: もし「ある物は喋り始めるが膠着するということはない」ということは成り立たないならそれは摘出手術である fact8: もし仮に「そのブロックは摘出手術であるかまたは格好悪くないかあるいはどちらもだ」ということは間違いであるならば「その稲妻はごっつかない」ということは事実である fact9: 「もしなにがしかの物は摘出手術であるとしたら悲観する」ということは成り立つ fact10: もしもそのブロックが喋り始めるけどそれが膠着するということはないとしたらあの促音は格好悪い fact11: もし仮にそのブロックが検討出来ないならばその稲妻はごっつい fact12: 仮に何かは喋り始めないとするとそれは摘出手術である fact13: 「そのブロックは喋り始めないなら「そのブロックは摘出手術である」ということは成り立つ」ということは真実である fact14: そのブロックが悲観するとしたらそれは検討出来ない ; $hypothesis$ = その稲妻はごっつい ; $proof$ = 
void -> assump1: 以下のように仮定する。そのブロックは喋り始める一方で膠着しない; fact10 & assump1 -> int1: あの促音は格好悪い; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのブロックは喋り始める一方で膠着しない」ということは成り立たない; fact7 -> int4: もしも「そのブロックは喋り始めるけど膠着するということはない」ということは事実と異なれば摘出手術だ; int3 & int4 -> int5: そのブロックは摘出手術だ; fact9 -> int6: もし仮にそのブロックが摘出手術だとしたらそれは悲観する; int5 & int6 -> int7: そのブロックは悲観する; int7 & fact14 -> int8: そのブロックは検討出来ない; int8 & fact11 -> hypothesis; __PROVED__
事実1: その稲妻は検討出来ない
事実2: あの促音は格好悪いということはない
事実3: もしなにかは摘出手術であるししかも格好悪いとすると「ごっつかない」ということは正しい
事実4: そのブロックは喋り始める
事実5: もしそのブロックが経営面積ならば事実婚だ
事実6: 仮に何かは事実婚だとしたら「煩くないしそれは検討出来る」ということは間違っている
事実7: もし「ある物は喋り始めるが膠着するということはない」ということは成り立たないならそれは摘出手術である
事実8: もし仮に「そのブロックは摘出手術であるかまたは格好悪くないかあるいはどちらもだ」ということは間違いであるならば「その稲妻はごっつかない」ということは事実である
事実9: 「もしなにがしかの物は摘出手術であるとしたら悲観する」ということは成り立つ
事実10: もしもそのブロックが喋り始めるけどそれが膠着するということはないとしたらあの促音は格好悪い
事実11: もし仮にそのブロックが検討出来ないならばその稲妻はごっつい
事実12: 仮に何かは喋り始めないとするとそれは摘出手術である
事実13: 「そのブロックは喋り始めないなら「そのブロックは摘出手術である」ということは成り立つ」ということは真実である
事実14: そのブロックが悲観するとしたらそれは検討出来ない

仮説: その稲妻はごっつい
1. 仮定1: 以下のように仮定する。そのブロックは喋り始める一方で膠着しない
2. 事実10と仮定1から、推論1: "あの促音は格好悪い"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「そのブロックは喋り始める一方で膠着しない」ということは成り立たない"が導かれる
5. 事実7から、推論4: "もしも「そのブロックは喋り始めるけど膠着するということはない」ということは事実と異なれば摘出手術だ"が導かれる
6. 推論3と推論4から、推論5: "そのブロックは摘出手術だ"が導かれる
7. 事実9から、推論6: "もし仮にそのブロックが摘出手術だとしたらそれは悲観する"が導かれる
8. 推論5と推論6から、推論7: "そのブロックは悲観する"が導かれる
9. 推論7と事実14から、推論8: "そのブロックは検討出来ない"が導かれる
10. 推論8と事実11から、仮説が導かれる

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