この業務停止は連絡出来ないならば「この離着陸は嘆かわしくないかまたは西寄りであるか両方だ」ということは間違いである
fact1: 仮に仕事らしい物が連絡出来ないとすればその名工は百年戦争でない fact2: 「この離着陸は西寄りでない」ということは確かだ fact3: この業務停止が連絡出来るということはないならばあの離着陸は嘆かわしくないかまたはそれは西寄りであるかまたは両方ともだ fact4: その名工は百年戦争でないなら「この離着陸は嘆かわしいということはないかもしくは西寄りだ」ということは確かだということはない fact5: 何らかのものは連絡出来るということはない fact6: この業務停止は仕事らしいし加えて未練がましい fact7: もしも「なにがしかの物は連絡出来るがしかし仕事らしくない」ということは真実ならば未練がましかない fact8: 仮にその名工が百年戦争でないとしたらこの離着陸は西寄りでない fact9: この業務停止は未練がましい fact10: 何らかのものは仕事らしいし連絡出来る
fact6 -> int1: この業務停止は仕事らしい; void -> assump1: 以下のように仮定する。この業務停止は連絡出来るということはない; int1 & assump1 -> int2: この業務停止は仕事らしいけれど連絡出来ない; int2 -> int3: 「仕事らしいしその上連絡出来るということはない」物はある; int3 & fact1 -> int4: 「その名工は百年戦争でない」ということは確かである; int4 & fact4 -> int5: 「「この離着陸は嘆かわしくないかもしくは西寄りであるかあるいは両方だ」ということは成り立たない」ということは成り立つ; [assump1] & int5 -> hypothesis;
「その具体的範囲が未練はましくらない」ということは間違っていない
fact11 -> int6: 仮にその具体的範囲は連絡出来るけどそれは仕事らしくないとすれば「それが未練はましくらない」ということは事実だ;
$facts$ = fact1: 仮に仕事らしい物が連絡出来ないとすればその名工は百年戦争でない fact2: 「この離着陸は西寄りでない」ということは確かだ fact3: この業務停止が連絡出来るということはないならばあの離着陸は嘆かわしくないかまたはそれは西寄りであるかまたは両方ともだ fact4: その名工は百年戦争でないなら「この離着陸は嘆かわしいということはないかもしくは西寄りだ」ということは確かだということはない fact5: 何らかのものは連絡出来るということはない fact6: この業務停止は仕事らしいし加えて未練がましい fact7: もしも「なにがしかの物は連絡出来るがしかし仕事らしくない」ということは真実ならば未練がましかない fact8: 仮にその名工が百年戦争でないとしたらこの離着陸は西寄りでない fact9: この業務停止は未練がましい fact10: 何らかのものは仕事らしいし連絡出来る ; $hypothesis$ = この業務停止は連絡出来ないならば「この離着陸は嘆かわしくないかまたは西寄りであるか両方だ」ということは間違いである ; $proof$ = 
fact6 -> int1: この業務停止は仕事らしい; void -> assump1: 以下のように仮定する。この業務停止は連絡出来るということはない; int1 & assump1 -> int2: この業務停止は仕事らしいけれど連絡出来ない; int2 -> int3: 「仕事らしいしその上連絡出来るということはない」物はある; int3 & fact1 -> int4: 「その名工は百年戦争でない」ということは確かである; int4 & fact4 -> int5: 「「この離着陸は嘆かわしくないかもしくは西寄りであるかあるいは両方だ」ということは成り立たない」ということは成り立つ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮に仕事らしい物が連絡出来ないとすればその名工は百年戦争でない
事実2: 「この離着陸は西寄りでない」ということは確かだ
事実3: この業務停止が連絡出来るということはないならばあの離着陸は嘆かわしくないかまたはそれは西寄りであるかまたは両方ともだ
事実4: その名工は百年戦争でないなら「この離着陸は嘆かわしいということはないかもしくは西寄りだ」ということは確かだということはない
事実5: 何らかのものは連絡出来るということはない
事実6: この業務停止は仕事らしいし加えて未練がましい
事実7: もしも「なにがしかの物は連絡出来るがしかし仕事らしくない」ということは真実ならば未練がましかない
事実8: 仮にその名工が百年戦争でないとしたらこの離着陸は西寄りでない
事実9: この業務停止は未練がましい
事実10: 何らかのものは仕事らしいし連絡出来る

仮説: この業務停止は連絡出来ないならば「この離着陸は嘆かわしくないかまたは西寄りであるか両方だ」ということは間違いである
1. 事実6から、推論1: "この業務停止は仕事らしい"が導かれる
2. 仮定1: 以下のように仮定する。この業務停止は連絡出来るということはない
3. 推論1と仮定1から、推論2: "この業務停止は仕事らしいけれど連絡出来ない"が導かれる
4. 推論2から、推論3: "「仕事らしいしその上連絡出来るということはない」物はある"が導かれる
5. 推論3と事実1から、推論4: "「その名工は百年戦争でない」ということは確かである"が導かれる
6. 推論4と事実4から、推論5: "「「この離着陸は嘆かわしくないかもしくは西寄りであるかあるいは両方だ」ということは成り立たない」ということは成り立つ"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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