「飲み屋さんな」ものはある
fact1: 「実証する」ものはある fact2: この全長Ｌは実証する fact3: 「暑い」ものはある fact4: あるものは進取でないとしたら「飲み屋さんであるし加えて寄り道する」ということは真実だ fact5: この全長Ｌは実証するしおまけに暑い fact6: この全長Ｌが実証するしそれに暑いとすればあの研究員集会は寄り道しない fact7: 仮にその研究員集会が寄り道するということはないならばこの位格は飲み屋さんだ fact8: 飲み屋さんは実証しない
fact6 & fact5 -> int1: その研究員集会は寄り道しない; int1 & fact7 -> int2: この位格は飲み屋さんだ; int2 -> hypothesis;
「このセルブロックは実証しない」ということは成り立つ
fact10 -> int3: もしもこのセルブロックは飲み屋さんであるならばそれは実証しない; fact9 -> int4: もしもこのセルブロックが進取でないとすると飲み屋さんであるしその上寄り道する;
$facts$ = fact1: 「実証する」ものはある fact2: この全長Ｌは実証する fact3: 「暑い」ものはある fact4: あるものは進取でないとしたら「飲み屋さんであるし加えて寄り道する」ということは真実だ fact5: この全長Ｌは実証するしおまけに暑い fact6: この全長Ｌが実証するしそれに暑いとすればあの研究員集会は寄り道しない fact7: 仮にその研究員集会が寄り道するということはないならばこの位格は飲み屋さんだ fact8: 飲み屋さんは実証しない ; $hypothesis$ = 「飲み屋さんな」ものはある ; $proof$ = 
fact6 & fact5 -> int1: その研究員集会は寄り道しない; int1 & fact7 -> int2: この位格は飲み屋さんだ; int2 -> hypothesis; __PROVED__
事実1: 「実証する」ものはある
事実2: この全長Ｌは実証する
事実3: 「暑い」ものはある
事実4: あるものは進取でないとしたら「飲み屋さんであるし加えて寄り道する」ということは真実だ
事実5: この全長Ｌは実証するしおまけに暑い
事実6: この全長Ｌが実証するしそれに暑いとすればあの研究員集会は寄り道しない
事実7: 仮にその研究員集会が寄り道するということはないならばこの位格は飲み屋さんだ
事実8: 飲み屋さんは実証しない

仮説: 「飲み屋さんな」ものはある
1. 事実6と事実5から、推論1: "その研究員集会は寄り道しない"が導かれる
2. 推論1と事実7から、推論2: "この位格は飲み屋さんだ"が導かれる
3. 推論2から、仮説が導かれる

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