その湯煎は小物類である
fact1: もしも安い物が支援活動でないとすればそれはフライトでない fact2: 「その解凍・登録はハード・ドラッグである」ということは成り立つ fact3: 王家は安い fact4: もし仮にその解凍・登録はあやかれれば「あの捜査手続きは潮止めでないしその上御早くない」ということは成り立たない fact5: もし仮にその解凍・登録はハード・ドラッグであるならそれはあやかれる fact6: もし仮にその血中半減期が王家でないかフライトでないかまたは両方ともだとするとその湯煎は小物類である fact7: 仮に「あの担体は小物類でないし更にフライトだということはない」ということは間違いであるとするとその湯煎は王家だ fact8: 何らかのものは王家であるということはないなら「小物類でそれはフライトである」ということは誤りである fact9: 御早いものは王家でない fact10: その血中半減期は安いがしかしそれは支援活動でない
fact1 -> int1: 仮にその血中半減期は安いけれど支援活動だということはないならフライトでない; int1 & fact10 -> int2: その血中半減期はフライトだということはない; int2 -> int3: その血中半減期は王家でないかあるいはフライトでないか両方ともである; int3 & fact6 -> hypothesis;
その湯煎は小物類でない
fact15 -> int4: もし「あの担体は王家でない」ということは成り立つとしたら「「それは小物類でそれにフライトだ」ということは事実だ」ということは偽だ; fact12 -> int5: もしもあの担体は御早いとすると「王家だということはない」ということは成り立つ; fact13 & fact14 -> int6: 「その解凍・登録はあやかれる」ということは真実である; fact11 & int6 -> int7: 「あの捜査手続きは潮止めでないし加えて御早くない」ということは誤っている; int7 -> int8: 「「潮止めでなくてその上御早くない」ということは成り立たない」物はある;
$facts$ = fact1: もしも安い物が支援活動でないとすればそれはフライトでない fact2: 「その解凍・登録はハード・ドラッグである」ということは成り立つ fact3: 王家は安い fact4: もし仮にその解凍・登録はあやかれれば「あの捜査手続きは潮止めでないしその上御早くない」ということは成り立たない fact5: もし仮にその解凍・登録はハード・ドラッグであるならそれはあやかれる fact6: もし仮にその血中半減期が王家でないかフライトでないかまたは両方ともだとするとその湯煎は小物類である fact7: 仮に「あの担体は小物類でないし更にフライトだということはない」ということは間違いであるとするとその湯煎は王家だ fact8: 何らかのものは王家であるということはないなら「小物類でそれはフライトである」ということは誤りである fact9: 御早いものは王家でない fact10: その血中半減期は安いがしかしそれは支援活動でない ; $hypothesis$ = その湯煎は小物類である ; $proof$ = 
fact1 -> int1: 仮にその血中半減期は安いけれど支援活動だということはないならフライトでない; int1 & fact10 -> int2: その血中半減期はフライトだということはない; int2 -> int3: その血中半減期は王家でないかあるいはフライトでないか両方ともである; int3 & fact6 -> hypothesis; __PROVED__
事実1: もしも安い物が支援活動でないとすればそれはフライトでない
事実2: 「その解凍・登録はハード・ドラッグである」ということは成り立つ
事実3: 王家は安い
事実4: もし仮にその解凍・登録はあやかれれば「あの捜査手続きは潮止めでないしその上御早くない」ということは成り立たない
事実5: もし仮にその解凍・登録はハード・ドラッグであるならそれはあやかれる
事実6: もし仮にその血中半減期が王家でないかフライトでないかまたは両方ともだとするとその湯煎は小物類である
事実7: 仮に「あの担体は小物類でないし更にフライトだということはない」ということは間違いであるとするとその湯煎は王家だ
事実8: 何らかのものは王家であるということはないなら「小物類でそれはフライトである」ということは誤りである
事実9: 御早いものは王家でない
事実10: その血中半減期は安いがしかしそれは支援活動でない

仮説: その湯煎は小物類である
1. 事実1から、推論1: "仮にその血中半減期は安いけれど支援活動だということはないならフライトでない"が導かれる
2. 推論1と事実10から、推論2: "その血中半減期はフライトだということはない"が導かれる
3. 推論2から、推論3: "その血中半減期は王家でないかあるいはフライトでないか両方ともである"が導かれる
4. 推論3と事実6から、仮説が導かれる

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