「あのカナル結石症は移り易いか考え得ない」ということは成り立たない
fact1: もし仮にあのカナル結石症は美しくないとすれば「その莢膜細胞は移り易いかあるいはそれは美しくない」ということは成り立たない fact2: もしも「なんらかの物は禍々しかないがしかし美しい」ということは成り立つならそれは考え得ない fact3: 仮にその莢膜細胞は考え得ないとすると「あのカナル結石症は移り易いか考え得るということはないかあるいはどちらもだ」ということは間違っている fact4: その莢膜細胞は禍々しかない一方で美しい fact5: もしも何らかの物が取捨選択出来るということはないとしたら考え得るということはないが世情である fact6: なにかは考え得るしその上それが移り易いならばそれは禍々しかない fact7: その単位農協は考え得ない fact8: あのカナル結石症は移り易くないけど禍々しい fact9: もしも移り易いものが禍々しいとしたらそれは考え得ない
fact2 -> int1: その莢膜細胞は禍々しかない一方で美しいなら考え得るということはない; int1 & fact4 -> int2: その莢膜細胞は考え得ない; int2 & fact3 -> hypothesis;
あのカナル結石症は移り易いかあるいはそれは考え得ないかもしくは両方ともだ
fact10 -> int3: もし「あの本論文は取捨選択出来ない」ということは成り立つとするとそれは考え得ないし世情である;
$facts$ = fact1: もし仮にあのカナル結石症は美しくないとすれば「その莢膜細胞は移り易いかあるいはそれは美しくない」ということは成り立たない fact2: もしも「なんらかの物は禍々しかないがしかし美しい」ということは成り立つならそれは考え得ない fact3: 仮にその莢膜細胞は考え得ないとすると「あのカナル結石症は移り易いか考え得るということはないかあるいはどちらもだ」ということは間違っている fact4: その莢膜細胞は禍々しかない一方で美しい fact5: もしも何らかの物が取捨選択出来るということはないとしたら考え得るということはないが世情である fact6: なにかは考え得るしその上それが移り易いならばそれは禍々しかない fact7: その単位農協は考え得ない fact8: あのカナル結石症は移り易くないけど禍々しい fact9: もしも移り易いものが禍々しいとしたらそれは考え得ない ; $hypothesis$ = 「あのカナル結石症は移り易いか考え得ない」ということは成り立たない ; $proof$ = 
fact2 -> int1: その莢膜細胞は禍々しかない一方で美しいなら考え得るということはない; int1 & fact4 -> int2: その莢膜細胞は考え得ない; int2 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にあのカナル結石症は美しくないとすれば「その莢膜細胞は移り易いかあるいはそれは美しくない」ということは成り立たない
事実2: もしも「なんらかの物は禍々しかないがしかし美しい」ということは成り立つならそれは考え得ない
事実3: 仮にその莢膜細胞は考え得ないとすると「あのカナル結石症は移り易いか考え得るということはないかあるいはどちらもだ」ということは間違っている
事実4: その莢膜細胞は禍々しかない一方で美しい
事実5: もしも何らかの物が取捨選択出来るということはないとしたら考え得るということはないが世情である
事実6: なにかは考え得るしその上それが移り易いならばそれは禍々しかない
事実7: その単位農協は考え得ない
事実8: あのカナル結石症は移り易くないけど禍々しい
事実9: もしも移り易いものが禍々しいとしたらそれは考え得ない

仮説: 「あのカナル結石症は移り易いか考え得ない」ということは成り立たない
1. 事実2から、推論1: "その莢膜細胞は禍々しかない一方で美しいなら考え得るということはない"が導かれる
2. 推論1と事実4から、推論2: "その莢膜細胞は考え得ない"が導かれる
3. 推論2と事実3から、仮説が導かれる

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