あのＡＢ船員は軽ーいしおまけにめぼしい
fact1: もし「あのＡＢ船員はめでたしということはない」ということは間違いでないとすると「眩しいということはないがしかし反落する」ということは嘘である fact2: この電話相談は第二打席でない fact3: もし仮に「そのＴＶ局は薄ら寒くないし崩し易くない」ということは成り立たないならばあのＡＢ船員はめぼしい fact4: あのＡＢ船員は叫び返さない fact5: もしあの豊受大神宮はめでたしないとしたら「その空自は軽ーいし叫び返す」ということは誤っている fact6: 「その空自は挫けないけれど第二打席だ」ということは誤りである fact7: あの取材チームは叫び返さない fact8: もしもそのＴＶ局は第二打席でないとすれば「それは薄ら寒くないしそれに崩し易くない」ということは偽である fact9: もし「「その空自は挫けないがしかし第二打席である」ということは事実である」ということは間違いであるならばそのＴＶ局は第二打席でない fact10: とあるものがめでたしとすると軽ーい fact11: もし仮に「何らかの物は眩しいということはない一方でそれは反落する」ということは間違っているとしたらそれは叫び返す fact12: もしも「この電話相談は第二打席でない」ということは確かであるとすると「薄ら寒いものでそれに崩し易い」ということは事実と異なる fact13: もし仮にそのしくじりが注視・追視するとしたらそれはされ兼ねる
void -> assump1: 以下のように仮定する。あのＡＢ船員はめでたしない; fact1 & assump1 -> int1: 「あのＡＢ船員は眩しくない一方でそれは反落する」ということは間違っている; fact11 -> int2: もし仮に「あのＡＢ船員は眩しくないが反落する」ということは偽だとすれば叫び返す; int1 & int2 -> int3: あのＡＢ船員は叫び返す; int3 & fact4 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのＡＢ船員はめでたし; fact10 -> int6: もし「あのＡＢ船員はめでたし」ということは成り立つなら軽ーい; int5 & int6 -> int7: 「あのＡＢ船員は軽ーい」ということは本当だ; fact6 & fact9 -> int8: そのＴＶ局は第二打席でない; fact8 & int8 -> int9: 「そのＴＶ局は薄ら寒くないしその上崩し易いということはない」ということは成り立つということはない; int9 & fact3 -> int10: あのＡＢ船員はめぼしい; int7 & int10 -> hypothesis;
「あのＡＢ船員は軽ーいしかつめぼしい」ということは本当でない
fact15 & fact16 -> int11: 「この電話相談は薄ら寒くてかつ崩し易い」ということは嘘だ; int11 -> int12: 「「薄ら寒いし崩し易い」ということは成り立たない」物はある;
$facts$ = fact1: もし「あのＡＢ船員はめでたしということはない」ということは間違いでないとすると「眩しいということはないがしかし反落する」ということは嘘である fact2: この電話相談は第二打席でない fact3: もし仮に「そのＴＶ局は薄ら寒くないし崩し易くない」ということは成り立たないならばあのＡＢ船員はめぼしい fact4: あのＡＢ船員は叫び返さない fact5: もしあの豊受大神宮はめでたしないとしたら「その空自は軽ーいし叫び返す」ということは誤っている fact6: 「その空自は挫けないけれど第二打席だ」ということは誤りである fact7: あの取材チームは叫び返さない fact8: もしもそのＴＶ局は第二打席でないとすれば「それは薄ら寒くないしそれに崩し易くない」ということは偽である fact9: もし「「その空自は挫けないがしかし第二打席である」ということは事実である」ということは間違いであるならばそのＴＶ局は第二打席でない fact10: とあるものがめでたしとすると軽ーい fact11: もし仮に「何らかの物は眩しいということはない一方でそれは反落する」ということは間違っているとしたらそれは叫び返す fact12: もしも「この電話相談は第二打席でない」ということは確かであるとすると「薄ら寒いものでそれに崩し易い」ということは事実と異なる fact13: もし仮にそのしくじりが注視・追視するとしたらそれはされ兼ねる ; $hypothesis$ = あのＡＢ船員は軽ーいしおまけにめぼしい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＡＢ船員はめでたしない; fact1 & assump1 -> int1: 「あのＡＢ船員は眩しくない一方でそれは反落する」ということは間違っている; fact11 -> int2: もし仮に「あのＡＢ船員は眩しくないが反落する」ということは偽だとすれば叫び返す; int1 & int2 -> int3: あのＡＢ船員は叫び返す; int3 & fact4 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのＡＢ船員はめでたし; fact10 -> int6: もし「あのＡＢ船員はめでたし」ということは成り立つなら軽ーい; int5 & int6 -> int7: 「あのＡＢ船員は軽ーい」ということは本当だ; fact6 & fact9 -> int8: そのＴＶ局は第二打席でない; fact8 & int8 -> int9: 「そのＴＶ局は薄ら寒くないしその上崩し易いということはない」ということは成り立つということはない; int9 & fact3 -> int10: あのＡＢ船員はめぼしい; int7 & int10 -> hypothesis; __PROVED__
事実1: もし「あのＡＢ船員はめでたしということはない」ということは間違いでないとすると「眩しいということはないがしかし反落する」ということは嘘である
事実2: この電話相談は第二打席でない
事実3: もし仮に「そのＴＶ局は薄ら寒くないし崩し易くない」ということは成り立たないならばあのＡＢ船員はめぼしい
事実4: あのＡＢ船員は叫び返さない
事実5: もしあの豊受大神宮はめでたしないとしたら「その空自は軽ーいし叫び返す」ということは誤っている
事実6: 「その空自は挫けないけれど第二打席だ」ということは誤りである
事実7: あの取材チームは叫び返さない
事実8: もしもそのＴＶ局は第二打席でないとすれば「それは薄ら寒くないしそれに崩し易くない」ということは偽である
事実9: もし「「その空自は挫けないがしかし第二打席である」ということは事実である」ということは間違いであるならばそのＴＶ局は第二打席でない
事実10: とあるものがめでたしとすると軽ーい
事実11: もし仮に「何らかの物は眩しいということはない一方でそれは反落する」ということは間違っているとしたらそれは叫び返す
事実12: もしも「この電話相談は第二打席でない」ということは確かであるとすると「薄ら寒いものでそれに崩し易い」ということは事実と異なる
事実13: もし仮にそのしくじりが注視・追視するとしたらそれはされ兼ねる

仮説: あのＡＢ船員は軽ーいしおまけにめぼしい
1. 仮定1: 以下のように仮定する。あのＡＢ船員はめでたしない
2. 事実1と仮定1から、推論1: "「あのＡＢ船員は眩しくない一方でそれは反落する」ということは間違っている"が導かれる
3. 事実11から、推論2: "もし仮に「あのＡＢ船員は眩しくないが反落する」ということは偽だとすれば叫び返す"が導かれる
4. 推論1と推論2から、推論3: "あのＡＢ船員は叫び返す"が導かれる
5. 推論3と事実4から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あのＡＢ船員はめでたし"が導かれる
7. 事実10から、推論6: "もし「あのＡＢ船員はめでたし」ということは成り立つなら軽ーい"が導かれる
8. 推論5と推論6から、推論7: "「あのＡＢ船員は軽ーい」ということは本当だ"が導かれる
9. 事実6と事実9から、推論8: "そのＴＶ局は第二打席でない"が導かれる
10. 事実8と推論8から、推論9: "「そのＴＶ局は薄ら寒くないしその上崩し易いということはない」ということは成り立つということはない"が導かれる
11. 推論9と事実3から、推論10: "あのＡＢ船員はめぼしい"が導かれる
12. 推論7と推論10から、仮説が導かれる

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