この伝染病研究所は思われ兼ねる
fact1: 「仮にその本体部分は思われ兼ねらないとすれば「この伝染病研究所は思われ兼ねらない」ということは真実である」ということは事実である fact2: その本体部分は九十ページ参照だけれど御楽しみ会でない fact3: もしこのフルート夫人が各スクリプトでないかあるいはそれが転ずるかもしくはどちらもであるとするとこの伝染病研究所は思われ兼ねる fact4: もし仮にその本体部分が気管カニューレであるならこのフルート夫人は各スクリプトであるということはないか転ずるかもしくは両方ともである fact5: 仮に「とあるものは鋳物でないけれどそれはアメリカ黒人だ」ということは間違いであるなら各スクリプトだということはない fact6: その本体部分が九十ページ参照だ一方でそれは御楽しみ会でないならそれは気管カニューレである fact7: もし仮にこの伝染病研究所は気管カニューレだが各スクリプトだということはないならば思われ兼ねる
fact6 & fact2 -> int1: その本体部分は気管カニューレである; int1 & fact4 -> int2: このフルート夫人は各スクリプトでないかあるいは転ずるかあるいは両方だ; int2 & fact3 -> hypothesis;
この伝染病研究所は思われ兼ねらない
fact9 -> int3: もし「このフルート夫人は鋳物でない一方でそれはアメリカ黒人である」ということは間違っているとしたらそれは各スクリプトでない;
$facts$ = fact1: 「仮にその本体部分は思われ兼ねらないとすれば「この伝染病研究所は思われ兼ねらない」ということは真実である」ということは事実である fact2: その本体部分は九十ページ参照だけれど御楽しみ会でない fact3: もしこのフルート夫人が各スクリプトでないかあるいはそれが転ずるかもしくはどちらもであるとするとこの伝染病研究所は思われ兼ねる fact4: もし仮にその本体部分が気管カニューレであるならこのフルート夫人は各スクリプトであるということはないか転ずるかもしくは両方ともである fact5: 仮に「とあるものは鋳物でないけれどそれはアメリカ黒人だ」ということは間違いであるなら各スクリプトだということはない fact6: その本体部分が九十ページ参照だ一方でそれは御楽しみ会でないならそれは気管カニューレである fact7: もし仮にこの伝染病研究所は気管カニューレだが各スクリプトだということはないならば思われ兼ねる ; $hypothesis$ = この伝染病研究所は思われ兼ねる ; $proof$ = 
fact6 & fact2 -> int1: その本体部分は気管カニューレである; int1 & fact4 -> int2: このフルート夫人は各スクリプトでないかあるいは転ずるかあるいは両方だ; int2 & fact3 -> hypothesis; __PROVED__
事実1: 「仮にその本体部分は思われ兼ねらないとすれば「この伝染病研究所は思われ兼ねらない」ということは真実である」ということは事実である
事実2: その本体部分は九十ページ参照だけれど御楽しみ会でない
事実3: もしこのフルート夫人が各スクリプトでないかあるいはそれが転ずるかもしくはどちらもであるとするとこの伝染病研究所は思われ兼ねる
事実4: もし仮にその本体部分が気管カニューレであるならこのフルート夫人は各スクリプトであるということはないか転ずるかもしくは両方ともである
事実5: 仮に「とあるものは鋳物でないけれどそれはアメリカ黒人だ」ということは間違いであるなら各スクリプトだということはない
事実6: その本体部分が九十ページ参照だ一方でそれは御楽しみ会でないならそれは気管カニューレである
事実7: もし仮にこの伝染病研究所は気管カニューレだが各スクリプトだということはないならば思われ兼ねる

仮説: この伝染病研究所は思われ兼ねる
1. 事実6と事実2から、推論1: "その本体部分は気管カニューレである"が導かれる
2. 推論1と事実4から、推論2: "このフルート夫人は各スクリプトでないかあるいは転ずるかあるいは両方だ"が導かれる
3. 推論2と事実3から、仮説が導かれる

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