「もしあの実機が傷付き易いならばこの会談場所は絞り込まないかあるいはそれは言い出し難いかもしくは両方ともだ」ということは間違っている
fact1: この会談場所は薄っぺらい fact2: 仮にこの会談場所は傷付き易くないが第一秘書であるとしたらそれは被爆する fact3: 仮にあの実機が傷付き易いとすればこの会談場所は絞り込むかあるいはそれは言い出し難い fact4: この助太刀は第一秘書だ fact5: あの実機は被爆するということはない一方で薄っぺらいとするとそれは如何わしい fact6: あの実機は如何わしい fact7: 「もし如何わしいものが傷付き易いとすると第一秘書でない」ということは誤りでない fact8: あの実機は都道府県知事等である fact9: もしもあの実機が第一秘書でないとしたらこの会談場所は被爆しない一方でそれは薄っぺらい fact10: その各艦は傷付き易くないがしかしそれは第二庁舎である fact11: もし仮に「なんらかのものは被爆しないけど薄っぺらい」ということは成り立つとするとそれは絞り込まない fact12: そのねたはコスモバルクであるかまたは如何わしい fact13: もしもなんらかの物がＱ＆Ａでないけどそれが読み切れるとするとそれは審理対象でない fact14: あの実機は薄っぺらい
void -> assump1: 以下のように仮定する。あの実機は傷付き易い; fact6 & assump1 -> int1: 「あの実機は如何わしくてかつ傷付き易い」ということは成り立つ; fact7 -> int2: あの実機が如何わしいしその上傷付き易いとすれば第一秘書でない; int1 & int2 -> int3: あの実機は第一秘書でない; int3 & fact9 -> int4: この会談場所は被爆しないけど薄っぺらい; fact11 -> int5: この会談場所は被爆しない一方で薄っぺらいなら絞り込まない; int4 & int5 -> int6: この会談場所は絞り込まない; int6 -> int7: この会談場所は絞り込むということはないかもしくは言い出し難いかもしくは両方ともだ; [assump1] & int7 -> hypothesis;
$facts$ = fact1: この会談場所は薄っぺらい fact2: 仮にこの会談場所は傷付き易くないが第一秘書であるとしたらそれは被爆する fact3: 仮にあの実機が傷付き易いとすればこの会談場所は絞り込むかあるいはそれは言い出し難い fact4: この助太刀は第一秘書だ fact5: あの実機は被爆するということはない一方で薄っぺらいとするとそれは如何わしい fact6: あの実機は如何わしい fact7: 「もし如何わしいものが傷付き易いとすると第一秘書でない」ということは誤りでない fact8: あの実機は都道府県知事等である fact9: もしもあの実機が第一秘書でないとしたらこの会談場所は被爆しない一方でそれは薄っぺらい fact10: その各艦は傷付き易くないがしかしそれは第二庁舎である fact11: もし仮に「なんらかのものは被爆しないけど薄っぺらい」ということは成り立つとするとそれは絞り込まない fact12: そのねたはコスモバルクであるかまたは如何わしい fact13: もしもなんらかの物がＱ＆Ａでないけどそれが読み切れるとするとそれは審理対象でない fact14: あの実機は薄っぺらい ; $hypothesis$ = 「もしあの実機が傷付き易いならばこの会談場所は絞り込まないかあるいはそれは言い出し難いかもしくは両方ともだ」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あの実機は傷付き易い; fact6 & assump1 -> int1: 「あの実機は如何わしくてかつ傷付き易い」ということは成り立つ; fact7 -> int2: あの実機が如何わしいしその上傷付き易いとすれば第一秘書でない; int1 & int2 -> int3: あの実機は第一秘書でない; int3 & fact9 -> int4: この会談場所は被爆しないけど薄っぺらい; fact11 -> int5: この会談場所は被爆しない一方で薄っぺらいなら絞り込まない; int4 & int5 -> int6: この会談場所は絞り込まない; int6 -> int7: この会談場所は絞り込むということはないかもしくは言い出し難いかもしくは両方ともだ; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: この会談場所は薄っぺらい
事実2: 仮にこの会談場所は傷付き易くないが第一秘書であるとしたらそれは被爆する
事実3: 仮にあの実機が傷付き易いとすればこの会談場所は絞り込むかあるいはそれは言い出し難い
事実4: この助太刀は第一秘書だ
事実5: あの実機は被爆するということはない一方で薄っぺらいとするとそれは如何わしい
事実6: あの実機は如何わしい
事実7: 「もし如何わしいものが傷付き易いとすると第一秘書でない」ということは誤りでない
事実8: あの実機は都道府県知事等である
事実9: もしもあの実機が第一秘書でないとしたらこの会談場所は被爆しない一方でそれは薄っぺらい
事実10: その各艦は傷付き易くないがしかしそれは第二庁舎である
事実11: もし仮に「なんらかのものは被爆しないけど薄っぺらい」ということは成り立つとするとそれは絞り込まない
事実12: そのねたはコスモバルクであるかまたは如何わしい
事実13: もしもなんらかの物がＱ＆Ａでないけどそれが読み切れるとするとそれは審理対象でない
事実14: あの実機は薄っぺらい

仮説: 「もしあの実機が傷付き易いならばこの会談場所は絞り込まないかあるいはそれは言い出し難いかもしくは両方ともだ」ということは間違っている
1. 仮定1: 以下のように仮定する。あの実機は傷付き易い
2. 事実6と仮定1から、推論1: "「あの実機は如何わしくてかつ傷付き易い」ということは成り立つ"が導かれる
3. 事実7から、推論2: "あの実機が如何わしいしその上傷付き易いとすれば第一秘書でない"が導かれる
4. 推論1と推論2から、推論3: "あの実機は第一秘書でない"が導かれる
5. 推論3と事実9から、推論4: "この会談場所は被爆しないけど薄っぺらい"が導かれる
6. 事実11から、推論5: "この会談場所は被爆しない一方で薄っぺらいなら絞り込まない"が導かれる
7. 推論4と推論5から、推論6: "この会談場所は絞り込まない"が導かれる
8. 推論6から、推論7: "この会談場所は絞り込むということはないかもしくは言い出し難いかもしくは両方ともだ"が導かれる
9. [仮定1]と推論7から、仮説が否定される

よって、仮説が否定されました。