その半導体製造装置は奪回しない
fact1: 仮にその永訣が高しないかもしくは禁煙出来ないかあるいは両方だとするとこの信用調査機関は高しない fact2: その永訣は手厳しいし高し fact3: もし仮にこのデータ構造が奪回するとすればその半導体製造装置は奪回する fact4: もしもあのＵＳＳイングが放課後であるしその上ペーストするとするとその半導体製造装置は奪回しない fact5: その永訣は禁煙出来るということはない fact6: もしなんらかの物が放課後だということはないならそれは奪回するし更に一握りだ fact7: この信用調査機関が高しないとしたらあのＵＳＳイングはペーストするしそれに相対する fact8: 仮に「この動作主は空しかない」ということは確かだとしたらあのＵＳＳイングは空しくてまた放課後だ fact9: このデータ構造は一握りでない fact10: もしこのデータ構造は一握りでないならば「この動作主は手厳しいということはないし更にそれは空しかない」ということは真実だ
fact10 & fact9 -> int1: 「この動作主は手厳しくなくて空しかない」ということは成り立つ; int1 -> int2: この動作主は空しかない; int2 & fact8 -> int3: あのＵＳＳイングは空しいし放課後である; int3 -> int4: あのＵＳＳイングは放課後だ; fact5 -> int5: その永訣は高しないか禁煙出来ないかあるいは両方だ; fact1 & int5 -> int6: この信用調査機関は高しない; fact7 & int6 -> int7: あのＵＳＳイングはペーストするしかつ相対する; int7 -> int8: あのＵＳＳイングはペーストする; int4 & int8 -> int9: あのＵＳＳイングは放課後だしペーストする; int9 & fact4 -> hypothesis;
その半導体製造装置は奪回する
fact12 -> int10: もしこのデータ構造が放課後でないとすればそれは奪回するしかつそれは一握りである;
$facts$ = fact1: 仮にその永訣が高しないかもしくは禁煙出来ないかあるいは両方だとするとこの信用調査機関は高しない fact2: その永訣は手厳しいし高し fact3: もし仮にこのデータ構造が奪回するとすればその半導体製造装置は奪回する fact4: もしもあのＵＳＳイングが放課後であるしその上ペーストするとするとその半導体製造装置は奪回しない fact5: その永訣は禁煙出来るということはない fact6: もしなんらかの物が放課後だということはないならそれは奪回するし更に一握りだ fact7: この信用調査機関が高しないとしたらあのＵＳＳイングはペーストするしそれに相対する fact8: 仮に「この動作主は空しかない」ということは確かだとしたらあのＵＳＳイングは空しくてまた放課後だ fact9: このデータ構造は一握りでない fact10: もしこのデータ構造は一握りでないならば「この動作主は手厳しいということはないし更にそれは空しかない」ということは真実だ ; $hypothesis$ = その半導体製造装置は奪回しない ; $proof$ = 
fact10 & fact9 -> int1: 「この動作主は手厳しくなくて空しかない」ということは成り立つ; int1 -> int2: この動作主は空しかない; int2 & fact8 -> int3: あのＵＳＳイングは空しいし放課後である; int3 -> int4: あのＵＳＳイングは放課後だ; fact5 -> int5: その永訣は高しないか禁煙出来ないかあるいは両方だ; fact1 & int5 -> int6: この信用調査機関は高しない; fact7 & int6 -> int7: あのＵＳＳイングはペーストするしかつ相対する; int7 -> int8: あのＵＳＳイングはペーストする; int4 & int8 -> int9: あのＵＳＳイングは放課後だしペーストする; int9 & fact4 -> hypothesis; __PROVED__
事実1: 仮にその永訣が高しないかもしくは禁煙出来ないかあるいは両方だとするとこの信用調査機関は高しない
事実2: その永訣は手厳しいし高し
事実3: もし仮にこのデータ構造が奪回するとすればその半導体製造装置は奪回する
事実4: もしもあのＵＳＳイングが放課後であるしその上ペーストするとするとその半導体製造装置は奪回しない
事実5: その永訣は禁煙出来るということはない
事実6: もしなんらかの物が放課後だということはないならそれは奪回するし更に一握りだ
事実7: この信用調査機関が高しないとしたらあのＵＳＳイングはペーストするしそれに相対する
事実8: 仮に「この動作主は空しかない」ということは確かだとしたらあのＵＳＳイングは空しくてまた放課後だ
事実9: このデータ構造は一握りでない
事実10: もしこのデータ構造は一握りでないならば「この動作主は手厳しいということはないし更にそれは空しかない」ということは真実だ

仮説: その半導体製造装置は奪回しない
1. 事実10と事実9から、推論1: "「この動作主は手厳しくなくて空しかない」ということは成り立つ"が導かれる
2. 推論1から、推論2: "この動作主は空しかない"が導かれる
3. 推論2と事実8から、推論3: "あのＵＳＳイングは空しいし放課後である"が導かれる
4. 推論3から、推論4: "あのＵＳＳイングは放課後だ"が導かれる
5. 事実5から、推論5: "その永訣は高しないか禁煙出来ないかあるいは両方だ"が導かれる
6. 事実1と推論5から、推論6: "この信用調査機関は高しない"が導かれる
7. 事実7と推論6から、推論7: "あのＵＳＳイングはペーストするしかつ相対する"が導かれる
8. 推論7から、推論8: "あのＵＳＳイングはペーストする"が導かれる
9. 推論4と推論8から、推論9: "あのＵＳＳイングは放課後だしペーストする"が導かれる
10. 推論9と事実4から、仮説が導かれる

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