あの空模様は手癖でない
fact1: その男子工員は生還する fact2: どれもこれもは水上艦艇であるかもしくは誇らしくないかまたは両方ともである fact3: もしもその男子工員が誇らしくないし生還しないとしたらあの空模様は手癖である fact4: その男子工員は誇らしい fact5: その男子工員は責め殺すということはない fact6: 「その米酢は手癖だということはない」ということは本当だ fact7: その男子工員は手癖でない一方で誇らしい fact8: 仮に「その男子工員は生還しないけれど誇らしい」ということは誤っているとするとあの空模様は手癖でない fact9: もしもとあるものがカメラビューでないとするとそれは誇らしくなくてしかも生還しない fact10: もしもその男子工員が誇らしくないとしたらあの空模様は手癖でない fact11: 「「その男子工員は誇らしくないけれど手癖である」ということは成り立つ」ということは事実と異なる fact12: もしも何らかのものが付き易くないかまたは付近でないならそれは付近でない fact13: 冷戦型は付き易くないかまたは付近でないか両方ともである fact14: もし仮にあるものは付近でないとしたら紡がない fact15: あのシステム全体は手癖でない fact16: 「「あの定植は手癖である」ということは事実である」ということは成り立たない fact17: あの空模様は心強くないけど杢兵衛等だ fact18: その前立腺癌は冷戦型だ fact19: その男子工員は話さないがしかし開基する fact20: あの空模様は誇らしくない fact21: 仮にこの熟鮨がカメラビューだし水上艦艇であるとするとその男子工員はカメラビューでない fact22: 「その人員構成は無料サービスでないがしかし暗過ぎる」ということは誤っている
void -> assump1: 以下のように仮定する。その男子工員は生還しない一方で誇らしい; assump1 -> int1: その男子工員は生還しない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その男子工員は生還しないけれど誇らしい」ということは間違っている; int3 & fact8 -> hypothesis;
「あの空模様は手癖である」ということは真実だ
fact23 -> int4: その男子工員は水上艦艇であるか誇らしいということはない; int4 -> int5: 「水上艦艇であるかまたは誇らしくない」物はある;
$facts$ = fact1: その男子工員は生還する fact2: どれもこれもは水上艦艇であるかもしくは誇らしくないかまたは両方ともである fact3: もしもその男子工員が誇らしくないし生還しないとしたらあの空模様は手癖である fact4: その男子工員は誇らしい fact5: その男子工員は責め殺すということはない fact6: 「その米酢は手癖だということはない」ということは本当だ fact7: その男子工員は手癖でない一方で誇らしい fact8: 仮に「その男子工員は生還しないけれど誇らしい」ということは誤っているとするとあの空模様は手癖でない fact9: もしもとあるものがカメラビューでないとするとそれは誇らしくなくてしかも生還しない fact10: もしもその男子工員が誇らしくないとしたらあの空模様は手癖でない fact11: 「「その男子工員は誇らしくないけれど手癖である」ということは成り立つ」ということは事実と異なる fact12: もしも何らかのものが付き易くないかまたは付近でないならそれは付近でない fact13: 冷戦型は付き易くないかまたは付近でないか両方ともである fact14: もし仮にあるものは付近でないとしたら紡がない fact15: あのシステム全体は手癖でない fact16: 「「あの定植は手癖である」ということは事実である」ということは成り立たない fact17: あの空模様は心強くないけど杢兵衛等だ fact18: その前立腺癌は冷戦型だ fact19: その男子工員は話さないがしかし開基する fact20: あの空模様は誇らしくない fact21: 仮にこの熟鮨がカメラビューだし水上艦艇であるとするとその男子工員はカメラビューでない fact22: 「その人員構成は無料サービスでないがしかし暗過ぎる」ということは誤っている ; $hypothesis$ = あの空模様は手癖でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その男子工員は生還しない一方で誇らしい; assump1 -> int1: その男子工員は生還しない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その男子工員は生還しないけれど誇らしい」ということは間違っている; int3 & fact8 -> hypothesis; __PROVED__
事実1: その男子工員は生還する
事実2: どれもこれもは水上艦艇であるかもしくは誇らしくないかまたは両方ともである
事実3: もしもその男子工員が誇らしくないし生還しないとしたらあの空模様は手癖である
事実4: その男子工員は誇らしい
事実5: その男子工員は責め殺すということはない
事実6: 「その米酢は手癖だということはない」ということは本当だ
事実7: その男子工員は手癖でない一方で誇らしい
事実8: 仮に「その男子工員は生還しないけれど誇らしい」ということは誤っているとするとあの空模様は手癖でない
事実9: もしもとあるものがカメラビューでないとするとそれは誇らしくなくてしかも生還しない
事実10: もしもその男子工員が誇らしくないとしたらあの空模様は手癖でない
事実11: 「「その男子工員は誇らしくないけれど手癖である」ということは成り立つ」ということは事実と異なる
事実12: もしも何らかのものが付き易くないかまたは付近でないならそれは付近でない
事実13: 冷戦型は付き易くないかまたは付近でないか両方ともである
事実14: もし仮にあるものは付近でないとしたら紡がない
事実15: あのシステム全体は手癖でない
事実16: 「「あの定植は手癖である」ということは事実である」ということは成り立たない
事実17: あの空模様は心強くないけど杢兵衛等だ
事実18: その前立腺癌は冷戦型だ
事実19: その男子工員は話さないがしかし開基する
事実20: あの空模様は誇らしくない
事実21: 仮にこの熟鮨がカメラビューだし水上艦艇であるとするとその男子工員はカメラビューでない
事実22: 「その人員構成は無料サービスでないがしかし暗過ぎる」ということは誤っている

仮説: あの空模様は手癖でない
1. 仮定1: 以下のように仮定する。その男子工員は生還しない一方で誇らしい
2. 仮定1から、推論1: "その男子工員は生還しない"が導かれる
3. 推論1と事実1から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その男子工員は生還しないけれど誇らしい」ということは間違っている"が導かれる
5. 推論3と事実8から、仮説が導かれる

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