もしもあのきりきりは紛らわしくない一方で勝ち続けるとすると「この緊急経済対策は寝泊まりしない」ということは事実である
fact1: 仮にこの緊急経済対策は褐変しないならば「狙い易い」ということは成り立つ fact2: 予測し易い物が寝泊まりするとするとそれは狙い易くない fact3: もしも「あのきりきりは紛らわしいし褐変する」ということは成り立つなら寝泊まりしない fact4: 何かは予測し易くないけれど寝泊まりする fact5: 「仮にあのきりきりが紛らわしいということはないけれどそれが勝ち続けるならこの緊急経済対策は予測し易い」ということは成り立つ fact6: この緊急経済対策は褐変しない fact7: この七年以内は褐変しない fact8: 仮にこの緊急経済対策が紛らわしいしさらに予測し易いならあのきりきりは褐変するということはない fact9: もし仮にあのきりきりは狙い易いしその上褐変すれば「紛らわしいということはない」ということは確かだ fact10: あのきりきりは紛らわしくない fact11: この緊急経済対策は勝ち続けない fact12: この緊急経済対策が勝ち続けるしそれが予測し易いとするとあのきりきりは褐変する
void -> assump2: 以下のように仮定する。あのきりきりは紛らわしくない一方で勝ち続ける; fact5 & assump2 -> int1: この緊急経済対策は予測し易い; void -> assump1: 以下のように仮定する。この緊急経済対策は寝泊まりする; int1 & assump1 -> int2: 「この緊急経済対策は予測し易くて寝泊まりする」ということは成り立つ; fact2 -> int3: もしこの緊急経済対策が予測し易いし加えて寝泊まりすれば「それは狙い易くない」ということは事実である; int2 & int3 -> int4: この緊急経済対策は狙い易くない; fact1 & fact6 -> int5: この緊急経済対策は狙い易い; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この緊急経済対策は寝泊まりしない; [assump2] & int7 -> hypothesis;
この緊急経済対策は予測し難くないけれど恵み深い
$facts$ = fact1: 仮にこの緊急経済対策は褐変しないならば「狙い易い」ということは成り立つ fact2: 予測し易い物が寝泊まりするとするとそれは狙い易くない fact3: もしも「あのきりきりは紛らわしいし褐変する」ということは成り立つなら寝泊まりしない fact4: 何かは予測し易くないけれど寝泊まりする fact5: 「仮にあのきりきりが紛らわしいということはないけれどそれが勝ち続けるならこの緊急経済対策は予測し易い」ということは成り立つ fact6: この緊急経済対策は褐変しない fact7: この七年以内は褐変しない fact8: 仮にこの緊急経済対策が紛らわしいしさらに予測し易いならあのきりきりは褐変するということはない fact9: もし仮にあのきりきりは狙い易いしその上褐変すれば「紛らわしいということはない」ということは確かだ fact10: あのきりきりは紛らわしくない fact11: この緊急経済対策は勝ち続けない fact12: この緊急経済対策が勝ち続けるしそれが予測し易いとするとあのきりきりは褐変する ; $hypothesis$ = もしもあのきりきりは紛らわしくない一方で勝ち続けるとすると「この緊急経済対策は寝泊まりしない」ということは事実である ; $proof$ = 
void -> assump2: 以下のように仮定する。あのきりきりは紛らわしくない一方で勝ち続ける; fact5 & assump2 -> int1: この緊急経済対策は予測し易い; void -> assump1: 以下のように仮定する。この緊急経済対策は寝泊まりする; int1 & assump1 -> int2: 「この緊急経済対策は予測し易くて寝泊まりする」ということは成り立つ; fact2 -> int3: もしこの緊急経済対策が予測し易いし加えて寝泊まりすれば「それは狙い易くない」ということは事実である; int2 & int3 -> int4: この緊急経済対策は狙い易くない; fact1 & fact6 -> int5: この緊急経済対策は狙い易い; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この緊急経済対策は寝泊まりしない; [assump2] & int7 -> hypothesis; __PROVED__
事実1: 仮にこの緊急経済対策は褐変しないならば「狙い易い」ということは成り立つ
事実2: 予測し易い物が寝泊まりするとするとそれは狙い易くない
事実3: もしも「あのきりきりは紛らわしいし褐変する」ということは成り立つなら寝泊まりしない
事実4: 何かは予測し易くないけれど寝泊まりする
事実5: 「仮にあのきりきりが紛らわしいということはないけれどそれが勝ち続けるならこの緊急経済対策は予測し易い」ということは成り立つ
事実6: この緊急経済対策は褐変しない
事実7: この七年以内は褐変しない
事実8: 仮にこの緊急経済対策が紛らわしいしさらに予測し易いならあのきりきりは褐変するということはない
事実9: もし仮にあのきりきりは狙い易いしその上褐変すれば「紛らわしいということはない」ということは確かだ
事実10: あのきりきりは紛らわしくない
事実11: この緊急経済対策は勝ち続けない
事実12: この緊急経済対策が勝ち続けるしそれが予測し易いとするとあのきりきりは褐変する

仮説: もしもあのきりきりは紛らわしくない一方で勝ち続けるとすると「この緊急経済対策は寝泊まりしない」ということは事実である
1. 仮定2: 以下のように仮定する。あのきりきりは紛らわしくない一方で勝ち続ける
2. 事実5と仮定2から、推論1: "この緊急経済対策は予測し易い"が導かれる
3. 仮定1: 以下のように仮定する。この緊急経済対策は寝泊まりする
4. 推論1と仮定1から、推論2: "「この緊急経済対策は予測し易くて寝泊まりする」ということは成り立つ"が導かれる
5. 事実2から、推論3: "もしこの緊急経済対策が予測し易いし加えて寝泊まりすれば「それは狙い易くない」ということは事実である"が導かれる
6. 推論2と推論3から、推論4: "この緊急経済対策は狙い易くない"が導かれる
7. 事実1と事実6から、推論5: "この緊急経済対策は狙い易い"が導かれる
8. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
9. [仮定1]と推論6から、推論7: "この緊急経済対策は寝泊まりしない"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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