「この小点は図々しい」ということは確かだ
fact1: もしこの挙上法が図々しかないならこの小点は領域内であるし図々しい fact2: この挙上法が図々しかないならこの小点は領域内だ fact3: 「あのマグネシウムは皮膚病変でないけど文民警察である」ということは事実と異なるとするとこの挙上法は図々しかない fact4: もしも「あのハシーシュは陰間である」ということは成り立つということはないとすれば「あのマグネシウムは皮膚病変でないが文民警察である」ということは確かでない fact5: あのハシーシュは陰間でない
fact4 & fact5 -> int1: 「あのマグネシウムは皮膚病変であるということはないけれど文民警察だ」ということは成り立たない; int1 & fact3 -> int2: この挙上法は図々しいということはない; int2 & fact1 -> int3: この小点は領域内でしかも図々しい; int3 -> hypothesis;
$facts$ = fact1: もしこの挙上法が図々しかないならこの小点は領域内であるし図々しい fact2: この挙上法が図々しかないならこの小点は領域内だ fact3: 「あのマグネシウムは皮膚病変でないけど文民警察である」ということは事実と異なるとするとこの挙上法は図々しかない fact4: もしも「あのハシーシュは陰間である」ということは成り立つということはないとすれば「あのマグネシウムは皮膚病変でないが文民警察である」ということは確かでない fact5: あのハシーシュは陰間でない ; $hypothesis$ = 「この小点は図々しい」ということは確かだ ; $proof$ = 
fact4 & fact5 -> int1: 「あのマグネシウムは皮膚病変であるということはないけれど文民警察だ」ということは成り立たない; int1 & fact3 -> int2: この挙上法は図々しいということはない; int2 & fact1 -> int3: この小点は領域内でしかも図々しい; int3 -> hypothesis; __PROVED__
事実1: もしこの挙上法が図々しかないならこの小点は領域内であるし図々しい
事実2: この挙上法が図々しかないならこの小点は領域内だ
事実3: 「あのマグネシウムは皮膚病変でないけど文民警察である」ということは事実と異なるとするとこの挙上法は図々しかない
事実4: もしも「あのハシーシュは陰間である」ということは成り立つということはないとすれば「あのマグネシウムは皮膚病変でないが文民警察である」ということは確かでない
事実5: あのハシーシュは陰間でない

仮説: 「この小点は図々しい」ということは確かだ
1. 事実4と事実5から、推論1: "「あのマグネシウムは皮膚病変であるということはないけれど文民警察だ」ということは成り立たない"が導かれる
2. 推論1と事実3から、推論2: "この挙上法は図々しいということはない"が導かれる
3. 推論2と事実1から、推論3: "この小点は領域内でしかも図々しい"が導かれる
4. 推論3から、仮説が導かれる

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