あの準備作業は三次元モデルでない
fact1: もしもそのモデラーが御漏らしするならこの表面上はクロックアップする fact2: 仮に「この表面上は売り注文でないけど妬ましい」ということは間違いであるとしたらあの準備作業は三次元モデルでない fact3: もし仮にこの表面上が売り注文だとしたらあの準備作業は三次元モデルでない fact4: そのモデラーは御漏らしする fact5: もし仮に何かはクロックアップするなら「売り注文でないが妬ましい」ということは事実と異なる fact6: あの造影エコー法は御漏らしする
fact5 -> int1: もし「この表面上はクロックアップする」ということは確かであるならば「それは売り注文でないし加えてそれは妬ましい」ということは事実と異なる; fact4 & fact1 -> int2: この表面上はクロックアップする; int1 & int2 -> int3: 「この表面上は売り注文でないけれど妬ましい」ということは嘘だ; int3 & fact2 -> hypothesis;
$facts$ = fact1: もしもそのモデラーが御漏らしするならこの表面上はクロックアップする fact2: 仮に「この表面上は売り注文でないけど妬ましい」ということは間違いであるとしたらあの準備作業は三次元モデルでない fact3: もし仮にこの表面上が売り注文だとしたらあの準備作業は三次元モデルでない fact4: そのモデラーは御漏らしする fact5: もし仮に何かはクロックアップするなら「売り注文でないが妬ましい」ということは事実と異なる fact6: あの造影エコー法は御漏らしする ; $hypothesis$ = あの準備作業は三次元モデルでない ; $proof$ = 
fact5 -> int1: もし「この表面上はクロックアップする」ということは確かであるならば「それは売り注文でないし加えてそれは妬ましい」ということは事実と異なる; fact4 & fact1 -> int2: この表面上はクロックアップする; int1 & int2 -> int3: 「この表面上は売り注文でないけれど妬ましい」ということは嘘だ; int3 & fact2 -> hypothesis; __PROVED__
事実1: もしもそのモデラーが御漏らしするならこの表面上はクロックアップする
事実2: 仮に「この表面上は売り注文でないけど妬ましい」ということは間違いであるとしたらあの準備作業は三次元モデルでない
事実3: もし仮にこの表面上が売り注文だとしたらあの準備作業は三次元モデルでない
事実4: そのモデラーは御漏らしする
事実5: もし仮に何かはクロックアップするなら「売り注文でないが妬ましい」ということは事実と異なる
事実6: あの造影エコー法は御漏らしする

仮説: あの準備作業は三次元モデルでない
1. 事実5から、推論1: "もし「この表面上はクロックアップする」ということは確かであるならば「それは売り注文でないし加えてそれは妬ましい」ということは事実と異なる"が導かれる
2. 事実4と事実1から、推論2: "この表面上はクロックアップする"が導かれる
3. 推論1と推論2から、推論3: "「この表面上は売り注文でないけれど妬ましい」ということは嘘だ"が導かれる
4. 推論3と事実2から、仮説が導かれる

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