このＳポットは動ぜない
fact1: この指揮者は参加し続けるしアクセスし易い fact2: この指揮者がビーガンだしそれにアクセスし易いならこのＳポットは動ずるということはない fact3: この指揮者は脱構築する fact4: この指揮者は脱構築するしそれはビーガンだ
fact1 -> int1: 「この指揮者はアクセスし易い」ということは成り立つ; fact4 -> int2: この指揮者はビーガンである; int1 & int2 -> int3: この指揮者はビーガンだししかもアクセスし易い; int3 & fact2 -> hypothesis;
$facts$ = fact1: この指揮者は参加し続けるしアクセスし易い fact2: この指揮者がビーガンだしそれにアクセスし易いならこのＳポットは動ずるということはない fact3: この指揮者は脱構築する fact4: この指揮者は脱構築するしそれはビーガンだ ; $hypothesis$ = このＳポットは動ぜない ; $proof$ = 
fact1 -> int1: 「この指揮者はアクセスし易い」ということは成り立つ; fact4 -> int2: この指揮者はビーガンである; int1 & int2 -> int3: この指揮者はビーガンだししかもアクセスし易い; int3 & fact2 -> hypothesis; __PROVED__
事実1: この指揮者は参加し続けるしアクセスし易い
事実2: この指揮者がビーガンだしそれにアクセスし易いならこのＳポットは動ずるということはない
事実3: この指揮者は脱構築する
事実4: この指揮者は脱構築するしそれはビーガンだ

仮説: このＳポットは動ぜない
1. 事実1から、推論1: "「この指揮者はアクセスし易い」ということは成り立つ"が導かれる
2. 事実4から、推論2: "この指揮者はビーガンである"が導かれる
3. 推論1と推論2から、推論3: "この指揮者はビーガンだししかもアクセスし易い"が導かれる
4. 推論3と事実2から、仮説が導かれる

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