「その栽培ベッドは構成要素であるということはないがしかし覚束無い」ということは事実と異なる
fact1: この第一条件は眩い fact2: もしもこの第一条件がラブホテルであるし加えて眩いとするとそのコンサートホールはがっかりしない fact3: この第一条件はラブホテルだ fact4: もしそのコンサートホールががっかりしないならばあの栽培ベッドは構成要素でないが覚束無い fact5: もし何かはラブホテルでないとすれば「構成要素でないけれど覚束無い」ということは事実と異なる
fact3 & fact1 -> int1: この第一条件はラブホテルであるしさらにそれは眩い; int1 & fact2 -> int2: そのコンサートホールはがっかりしない; int2 & fact4 -> hypothesis;
「「その栽培ベッドは構成要素だということはないけれどそれは覚束無い」ということは間違っている」ということは成り立つ
fact6 -> int3: 仮にその栽培ベッドはラブホテルでないなら「構成要素でないが覚束無い」ということは偽だ;
$facts$ = fact1: この第一条件は眩い fact2: もしもこの第一条件がラブホテルであるし加えて眩いとするとそのコンサートホールはがっかりしない fact3: この第一条件はラブホテルだ fact4: もしそのコンサートホールががっかりしないならばあの栽培ベッドは構成要素でないが覚束無い fact5: もし何かはラブホテルでないとすれば「構成要素でないけれど覚束無い」ということは事実と異なる ; $hypothesis$ = 「その栽培ベッドは構成要素であるということはないがしかし覚束無い」ということは事実と異なる ; $proof$ = 
fact3 & fact1 -> int1: この第一条件はラブホテルであるしさらにそれは眩い; int1 & fact2 -> int2: そのコンサートホールはがっかりしない; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: この第一条件は眩い
事実2: もしもこの第一条件がラブホテルであるし加えて眩いとするとそのコンサートホールはがっかりしない
事実3: この第一条件はラブホテルだ
事実4: もしそのコンサートホールががっかりしないならばあの栽培ベッドは構成要素でないが覚束無い
事実5: もし何かはラブホテルでないとすれば「構成要素でないけれど覚束無い」ということは事実と異なる

仮説: 「その栽培ベッドは構成要素であるということはないがしかし覚束無い」ということは事実と異なる
1. 事実3と事実1から、推論1: "この第一条件はラブホテルであるしさらにそれは眩い"が導かれる
2. 推論1と事実2から、推論2: "そのコンサートホールはがっかりしない"が導かれる
3. 推論2と事実4から、仮説が否定される

よって、仮説が否定されました。