あのコネは剥ける
fact1: 「何かは反抗する」ということは事実であるならば出入りし易い fact2: 「もし「あのコネは反抗する」ということは事実であるならあのミック・ジャガーは捕まえ易いということはないがしかし命中だ」ということは成り立つ fact3: あの糾弾は腺管でないが反抗する fact4: あの二日分は捨て難くない一方で出入りし易い fact5: もし仮にあの糾弾が出入りし易いならばあのコネは剥ける fact6: 仮にあの協調会資料は腺管でないとしたら「反抗しないしそれにそれは出入りし易い」ということは成り立たない
fact1 -> int1: もしあの糾弾が反抗するなら出入りし易い; fact3 -> int2: あの糾弾は反抗する; int1 & int2 -> int3: あの糾弾は出入りし易い; int3 & fact5 -> hypothesis;
あのコネは剥けない
$facts$ = fact1: 「何かは反抗する」ということは事実であるならば出入りし易い fact2: 「もし「あのコネは反抗する」ということは事実であるならあのミック・ジャガーは捕まえ易いということはないがしかし命中だ」ということは成り立つ fact3: あの糾弾は腺管でないが反抗する fact4: あの二日分は捨て難くない一方で出入りし易い fact5: もし仮にあの糾弾が出入りし易いならばあのコネは剥ける fact6: 仮にあの協調会資料は腺管でないとしたら「反抗しないしそれにそれは出入りし易い」ということは成り立たない ; $hypothesis$ = あのコネは剥ける ; $proof$ = 
fact1 -> int1: もしあの糾弾が反抗するなら出入りし易い; fact3 -> int2: あの糾弾は反抗する; int1 & int2 -> int3: あの糾弾は出入りし易い; int3 & fact5 -> hypothesis; __PROVED__
事実1: 「何かは反抗する」ということは事実であるならば出入りし易い
事実2: 「もし「あのコネは反抗する」ということは事実であるならあのミック・ジャガーは捕まえ易いということはないがしかし命中だ」ということは成り立つ
事実3: あの糾弾は腺管でないが反抗する
事実4: あの二日分は捨て難くない一方で出入りし易い
事実5: もし仮にあの糾弾が出入りし易いならばあのコネは剥ける
事実6: 仮にあの協調会資料は腺管でないとしたら「反抗しないしそれにそれは出入りし易い」ということは成り立たない

仮説: あのコネは剥ける
1. 事実1から、推論1: "もしあの糾弾が反抗するなら出入りし易い"が導かれる
2. 事実3から、推論2: "あの糾弾は反抗する"が導かれる
3. 推論1と推論2から、推論3: "あの糾弾は出入りし易い"が導かれる
4. 推論3と事実5から、仮説が導かれる

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