あの軟着陸は拘束すということはない
fact1: もし仮に「「ＤＯだが隠形しない」ということは間違っている」物があるとしたらあの軟着陸は拘束すということはない fact2: もしもなんらかのものは隠形しないし更に変形性関節症でないならそれは現われ難くない fact3: もし「「数値計算であるがしかしＤＯでない」ということは誤りな」物があるとするとその国際人道法は心許なくない fact4: 何らかの物はＤＯであるが隠形しない fact5: 「その国際人道法はＤＯで加えて隠形する」ということは事実と異なる fact6: 「その国際人道法は心許ないということはなくて加えて数値計算でない」ということは成り立たない fact7: 仮に「その国際人道法は心許なくないし数値計算でない」ということは嘘なら現われ難くない fact8: 何かは現われ難くないとすれば「それがＤＯだし更に隠形しない」ということは誤りである
fact7 & fact6 -> int1: その国際人道法は現われ難くない; fact8 -> int2: もし仮にその国際人道法は現われ難くないならば「ＤＯで隠形しない」ということは成り立たない; int1 & int2 -> int3: 「その国際人道法はＤＯであるがしかし隠形しない」ということは確かでない; int3 -> int4: 「「ＤＯだがしかし隠形しない」ということは間違いな」ものはある; int4 & fact1 -> hypothesis;
あの軟着陸は拘束す
fact9 -> int5: あの軟着陸が隠形しないしその上それは変形性関節症でないなら現われ難くない;
$facts$ = fact1: もし仮に「「ＤＯだが隠形しない」ということは間違っている」物があるとしたらあの軟着陸は拘束すということはない fact2: もしもなんらかのものは隠形しないし更に変形性関節症でないならそれは現われ難くない fact3: もし「「数値計算であるがしかしＤＯでない」ということは誤りな」物があるとするとその国際人道法は心許なくない fact4: 何らかの物はＤＯであるが隠形しない fact5: 「その国際人道法はＤＯで加えて隠形する」ということは事実と異なる fact6: 「その国際人道法は心許ないということはなくて加えて数値計算でない」ということは成り立たない fact7: 仮に「その国際人道法は心許なくないし数値計算でない」ということは嘘なら現われ難くない fact8: 何かは現われ難くないとすれば「それがＤＯだし更に隠形しない」ということは誤りである ; $hypothesis$ = あの軟着陸は拘束すということはない ; $proof$ = 
fact7 & fact6 -> int1: その国際人道法は現われ難くない; fact8 -> int2: もし仮にその国際人道法は現われ難くないならば「ＤＯで隠形しない」ということは成り立たない; int1 & int2 -> int3: 「その国際人道法はＤＯであるがしかし隠形しない」ということは確かでない; int3 -> int4: 「「ＤＯだがしかし隠形しない」ということは間違いな」ものはある; int4 & fact1 -> hypothesis; __PROVED__
事実1: もし仮に「「ＤＯだが隠形しない」ということは間違っている」物があるとしたらあの軟着陸は拘束すということはない
事実2: もしもなんらかのものは隠形しないし更に変形性関節症でないならそれは現われ難くない
事実3: もし「「数値計算であるがしかしＤＯでない」ということは誤りな」物があるとするとその国際人道法は心許なくない
事実4: 何らかの物はＤＯであるが隠形しない
事実5: 「その国際人道法はＤＯで加えて隠形する」ということは事実と異なる
事実6: 「その国際人道法は心許ないということはなくて加えて数値計算でない」ということは成り立たない
事実7: 仮に「その国際人道法は心許なくないし数値計算でない」ということは嘘なら現われ難くない
事実8: 何かは現われ難くないとすれば「それがＤＯだし更に隠形しない」ということは誤りである

仮説: あの軟着陸は拘束すということはない
1. 事実7と事実6から、推論1: "その国際人道法は現われ難くない"が導かれる
2. 事実8から、推論2: "もし仮にその国際人道法は現われ難くないならば「ＤＯで隠形しない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「その国際人道法はＤＯであるがしかし隠形しない」ということは確かでない"が導かれる
4. 推論3から、推論4: "「「ＤＯだがしかし隠形しない」ということは間違いな」ものはある"が導かれる
5. 推論4と事実1から、仮説が導かれる

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