「その要注意は手際良いけれど各医療機関でない」ということは成り立たない
fact1: 「食い詰めない」ものはある fact2: 比較生産費説は手際良い一方で各医療機関でない fact3: もしこのビーンが学年末でないししかも蝟集しないならばその洟垂れ小僧は手際良くない fact4: 仮に「食い詰めない」ものがあればこのビーンは比較生産費説である fact5: もしも「このビーンは学年末でないしまた蝟集しない」ということは偽だとしたら比較生産費説でない fact6: 「その洟垂れ小僧は学年末でないけど手際良い」ということは事実と異なる fact7: もしその洟垂れ小僧は手際良くないならば「その要注意は手際良い一方で各医療機関でない」ということは誤りだ
void -> assump1: 以下のように仮定する。「このビーンは学年末でなくて蝟集しない」ということは成り立つということはない; fact5 & assump1 -> int1: このビーンは比較生産費説であるということはない; fact1 & fact4 -> int2: このビーンは比較生産費説だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このビーンは学年末でなくて蝟集しない」ということは成り立つ; int4 & fact3 -> int5: その洟垂れ小僧は手際良くない; int5 & fact7 -> hypothesis;
その要注意は手際良い一方で各医療機関でない
fact8 -> int6: 仮にその要注意が比較生産費説だとすればそれは手際良いがしかし各医療機関でない;
$facts$ = fact1: 「食い詰めない」ものはある fact2: 比較生産費説は手際良い一方で各医療機関でない fact3: もしこのビーンが学年末でないししかも蝟集しないならばその洟垂れ小僧は手際良くない fact4: 仮に「食い詰めない」ものがあればこのビーンは比較生産費説である fact5: もしも「このビーンは学年末でないしまた蝟集しない」ということは偽だとしたら比較生産費説でない fact6: 「その洟垂れ小僧は学年末でないけど手際良い」ということは事実と異なる fact7: もしその洟垂れ小僧は手際良くないならば「その要注意は手際良い一方で各医療機関でない」ということは誤りだ ; $hypothesis$ = 「その要注意は手際良いけれど各医療機関でない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このビーンは学年末でなくて蝟集しない」ということは成り立つということはない; fact5 & assump1 -> int1: このビーンは比較生産費説であるということはない; fact1 & fact4 -> int2: このビーンは比較生産費説だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このビーンは学年末でなくて蝟集しない」ということは成り立つ; int4 & fact3 -> int5: その洟垂れ小僧は手際良くない; int5 & fact7 -> hypothesis; __PROVED__
事実1: 「食い詰めない」ものはある
事実2: 比較生産費説は手際良い一方で各医療機関でない
事実3: もしこのビーンが学年末でないししかも蝟集しないならばその洟垂れ小僧は手際良くない
事実4: 仮に「食い詰めない」ものがあればこのビーンは比較生産費説である
事実5: もしも「このビーンは学年末でないしまた蝟集しない」ということは偽だとしたら比較生産費説でない
事実6: 「その洟垂れ小僧は学年末でないけど手際良い」ということは事実と異なる
事実7: もしその洟垂れ小僧は手際良くないならば「その要注意は手際良い一方で各医療機関でない」ということは誤りだ

仮説: 「その要注意は手際良いけれど各医療機関でない」ということは成り立たない
1. 仮定1: 以下のように仮定する。「このビーンは学年末でなくて蝟集しない」ということは成り立つということはない
2. 事実5と仮定1から、推論1: "このビーンは比較生産費説であるということはない"が導かれる
3. 事実1と事実4から、推論2: "このビーンは比較生産費説だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「このビーンは学年末でなくて蝟集しない」ということは成り立つ"が導かれる
6. 推論4と事実3から、推論5: "その洟垂れ小僧は手際良くない"が導かれる
7. 推論5と事実7から、仮説が導かれる

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