あの正攻法は望ましい
fact1: なにがしかの物が受け辛いとすればそれは駆けるがしかしきついない fact2: もしも「あの船型碑はきつくないが駆ける」ということは本当でないとすると出場側でない fact3: もしもこのいずなはきつくないとしたら「この地質体は公理で出場側である」ということは誤っている fact4: あの正攻法は空恐ろしい fact5: 仮に「焼損する」ものがあるならばあのいずなは受け辛いししかもそれは駆ける fact6: 仮にこのいずなが公理でないならばあの船型碑は本図表でない fact7: あの船型碑が出場側であるということはなくてそれが本図表だということはないならあの正攻法は望ましい fact8: なにかは公理でないならばそれは本図表でないかもしくはそれは望ましくらないか両方ともだ fact9: もしもあの正攻法が本図表であるということはないかまたはそれは望ましくらないかあるいは両方ならば「望ましくらない」ということは成り立つ fact10: 仮に何らかの物は出場側でないとしたらそれは公理でない fact11: もしこの地質体は第一砲塔だけれど分かち難くないとしたら「このいずなは公理でない」ということは真実である fact12: 「あの正攻法は構成単位であるか薄れ行かないかまたは両方である」ということは成り立たないならばそれは焼損する fact13: この地質体は第一砲塔でない fact14: もし仮にこの地質体が第一砲塔でなくて加えて分かち難くないとしたらこのいずなは公理だということはない fact15: もしも受け辛いものが駆けるとすればきつかない fact16: この地質体は第一砲塔でなくて加えて分かち難くない fact17: もし「本図表でない」物はあるとしたら「あの船型碑は望ましくらないが悩ましい」ということは間違いである fact18: 「あの船型碑はきつくてかつ駆ける」ということは成り立たない fact19: 仮にあの船型碑がきついとすると出場側でない fact20: もし仮になにかは空恐ろしいならば「構成単位であるかあるいはそれは薄れ行かないかもしくはどちらもだ」ということは事実と異なる fact21: 「あの船型碑はきつくない一方で駆ける」ということは成り立たない
fact14 & fact16 -> int1: このいずなは公理だということはない; int1 & fact6 -> int2: あの船型碑は本図表でない; fact21 & fact2 -> int3: あの船型碑は出場側でない; int2 & int3 -> int4: あの船型碑は出場側でないし本図表でない; int4 & fact7 -> hypothesis;
あの正攻法は望ましいということはない
fact22 -> int5: あの正攻法が公理でないとすれば本図表でないかあるいは望ましくらないか両方だ; fact24 -> int6: あの正攻法は出場側でないならばそれは公理でない; fact23 -> int7: もしあの正攻法が受け辛いとしたらそれは駆けるけどきつかない;
$facts$ = fact1: なにがしかの物が受け辛いとすればそれは駆けるがしかしきついない fact2: もしも「あの船型碑はきつくないが駆ける」ということは本当でないとすると出場側でない fact3: もしもこのいずなはきつくないとしたら「この地質体は公理で出場側である」ということは誤っている fact4: あの正攻法は空恐ろしい fact5: 仮に「焼損する」ものがあるならばあのいずなは受け辛いししかもそれは駆ける fact6: 仮にこのいずなが公理でないならばあの船型碑は本図表でない fact7: あの船型碑が出場側であるということはなくてそれが本図表だということはないならあの正攻法は望ましい fact8: なにかは公理でないならばそれは本図表でないかもしくはそれは望ましくらないか両方ともだ fact9: もしもあの正攻法が本図表であるということはないかまたはそれは望ましくらないかあるいは両方ならば「望ましくらない」ということは成り立つ fact10: 仮に何らかの物は出場側でないとしたらそれは公理でない fact11: もしこの地質体は第一砲塔だけれど分かち難くないとしたら「このいずなは公理でない」ということは真実である fact12: 「あの正攻法は構成単位であるか薄れ行かないかまたは両方である」ということは成り立たないならばそれは焼損する fact13: この地質体は第一砲塔でない fact14: もし仮にこの地質体が第一砲塔でなくて加えて分かち難くないとしたらこのいずなは公理だということはない fact15: もしも受け辛いものが駆けるとすればきつかない fact16: この地質体は第一砲塔でなくて加えて分かち難くない fact17: もし「本図表でない」物はあるとしたら「あの船型碑は望ましくらないが悩ましい」ということは間違いである fact18: 「あの船型碑はきつくてかつ駆ける」ということは成り立たない fact19: 仮にあの船型碑がきついとすると出場側でない fact20: もし仮になにかは空恐ろしいならば「構成単位であるかあるいはそれは薄れ行かないかもしくはどちらもだ」ということは事実と異なる fact21: 「あの船型碑はきつくない一方で駆ける」ということは成り立たない ; $hypothesis$ = あの正攻法は望ましい ; $proof$ = 
fact14 & fact16 -> int1: このいずなは公理だということはない; int1 & fact6 -> int2: あの船型碑は本図表でない; fact21 & fact2 -> int3: あの船型碑は出場側でない; int2 & int3 -> int4: あの船型碑は出場側でないし本図表でない; int4 & fact7 -> hypothesis; __PROVED__
事実1: なにがしかの物が受け辛いとすればそれは駆けるがしかしきついない
事実2: もしも「あの船型碑はきつくないが駆ける」ということは本当でないとすると出場側でない
事実3: もしもこのいずなはきつくないとしたら「この地質体は公理で出場側である」ということは誤っている
事実4: あの正攻法は空恐ろしい
事実5: 仮に「焼損する」ものがあるならばあのいずなは受け辛いししかもそれは駆ける
事実6: 仮にこのいずなが公理でないならばあの船型碑は本図表でない
事実7: あの船型碑が出場側であるということはなくてそれが本図表だということはないならあの正攻法は望ましい
事実8: なにかは公理でないならばそれは本図表でないかもしくはそれは望ましくらないか両方ともだ
事実9: もしもあの正攻法が本図表であるということはないかまたはそれは望ましくらないかあるいは両方ならば「望ましくらない」ということは成り立つ
事実10: 仮に何らかの物は出場側でないとしたらそれは公理でない
事実11: もしこの地質体は第一砲塔だけれど分かち難くないとしたら「このいずなは公理でない」ということは真実である
事実12: 「あの正攻法は構成単位であるか薄れ行かないかまたは両方である」ということは成り立たないならばそれは焼損する
事実13: この地質体は第一砲塔でない
事実14: もし仮にこの地質体が第一砲塔でなくて加えて分かち難くないとしたらこのいずなは公理だということはない
事実15: もしも受け辛いものが駆けるとすればきつかない
事実16: この地質体は第一砲塔でなくて加えて分かち難くない
事実17: もし「本図表でない」物はあるとしたら「あの船型碑は望ましくらないが悩ましい」ということは間違いである
事実18: 「あの船型碑はきつくてかつ駆ける」ということは成り立たない
事実19: 仮にあの船型碑がきついとすると出場側でない
事実20: もし仮になにかは空恐ろしいならば「構成単位であるかあるいはそれは薄れ行かないかもしくはどちらもだ」ということは事実と異なる
事実21: 「あの船型碑はきつくない一方で駆ける」ということは成り立たない

仮説: あの正攻法は望ましい
1. 事実14と事実16から、推論1: "このいずなは公理だということはない"が導かれる
2. 推論1と事実6から、推論2: "あの船型碑は本図表でない"が導かれる
3. 事実21と事実2から、推論3: "あの船型碑は出場側でない"が導かれる
4. 推論2と推論3から、推論4: "あの船型碑は出場側でないし本図表でない"が導かれる
5. 推論4と事実7から、仮説が導かれる

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