「仮に「大佐殿で潜在しない」ということは間違っているとすると冷蔵する」ものはある
fact1: 「もし仮に大佐殿だ一方で潜在しないとしたら冷蔵する」物はある fact2: 「仮に大佐殿でないならば冷蔵する」物はある fact3: もし仮にその入院診察は独占販売権でないならそれは冷蔵する fact4: 仮に「その入院診察は大佐殿だけれどそれは潜在しない」ということは誤りであるとするとそれは冷蔵する fact5: もし「その入院診察は大佐殿であるし潜在する」ということは間違いだとするとそれは冷蔵する fact6: もしも「何かは御見受け致すが遣り辛いということはない」ということは成り立たないならばそれはシンクだ fact7: 「もし「大佐殿であるしそれに潜在する」ということは偽だとすれば冷蔵する」物はある fact8: 仮にその入院診察が手緩くないとするとそれは使い辛い
fact4 -> hypothesis;
「「もしも「御見受け致すし遣り辛いということはない」ということは成り立たないとするとシンクな」ものはある」ということは事実だ
fact9 -> int1: もし「「あの胃薬は御見受け致す一方でそれは遣り辛くない」ということは成り立つ」ということは間違いだとしたらそれはシンクだ; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に大佐殿だ一方で潜在しないとしたら冷蔵する」物はある fact2: 「仮に大佐殿でないならば冷蔵する」物はある fact3: もし仮にその入院診察は独占販売権でないならそれは冷蔵する fact4: 仮に「その入院診察は大佐殿だけれどそれは潜在しない」ということは誤りであるとするとそれは冷蔵する fact5: もし「その入院診察は大佐殿であるし潜在する」ということは間違いだとするとそれは冷蔵する fact6: もしも「何かは御見受け致すが遣り辛いということはない」ということは成り立たないならばそれはシンクだ fact7: 「もし「大佐殿であるしそれに潜在する」ということは偽だとすれば冷蔵する」物はある fact8: 仮にその入院診察が手緩くないとするとそれは使い辛い ; $hypothesis$ = 「仮に「大佐殿で潜在しない」ということは間違っているとすると冷蔵する」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「もし仮に大佐殿だ一方で潜在しないとしたら冷蔵する」物はある
事実2: 「仮に大佐殿でないならば冷蔵する」物はある
事実3: もし仮にその入院診察は独占販売権でないならそれは冷蔵する
事実4: 仮に「その入院診察は大佐殿だけれどそれは潜在しない」ということは誤りであるとするとそれは冷蔵する
事実5: もし「その入院診察は大佐殿であるし潜在する」ということは間違いだとするとそれは冷蔵する
事実6: もしも「何かは御見受け致すが遣り辛いということはない」ということは成り立たないならばそれはシンクだ
事実7: 「もし「大佐殿であるしそれに潜在する」ということは偽だとすれば冷蔵する」物はある
事実8: 仮にその入院診察が手緩くないとするとそれは使い辛い

仮説: 「仮に「大佐殿で潜在しない」ということは間違っているとすると冷蔵する」ものはある
1. 事実4から、仮説が導かれる

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