あの二死はリスト表示するけどそれは触れ続けない
fact1: あの二死はリスト表示するけれど触れ続けない fact2: もしもとあるものが絶え難くないとするとそれは併設するしさらに触れ続けない fact3: あの二死はフェードアウトする fact4: もし何かはフェードアウトするしおまけに悪作であるとすると絶え難くない fact5: あの二死は触れ続けない fact6: もし何らかの物は絶え難いとすれば「「リスト表示するしその上触れ続けない」ということは間違いでない」ということは成り立たない
fact1 -> hypothesis;
「あの二死はリスト表示するけど触れ続けるということはない」ということは間違っている
fact7 -> int1: もしあの二死は絶え難いとすれば「それはリスト表示するがしかし触れ続けない」ということは成り立たない;
$facts$ = fact1: あの二死はリスト表示するけれど触れ続けない fact2: もしもとあるものが絶え難くないとするとそれは併設するしさらに触れ続けない fact3: あの二死はフェードアウトする fact4: もし何かはフェードアウトするしおまけに悪作であるとすると絶え難くない fact5: あの二死は触れ続けない fact6: もし何らかの物は絶え難いとすれば「「リスト表示するしその上触れ続けない」ということは間違いでない」ということは成り立たない ; $hypothesis$ = あの二死はリスト表示するけどそれは触れ続けない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの二死はリスト表示するけれど触れ続けない
事実2: もしもとあるものが絶え難くないとするとそれは併設するしさらに触れ続けない
事実3: あの二死はフェードアウトする
事実4: もし何かはフェードアウトするしおまけに悪作であるとすると絶え難くない
事実5: あの二死は触れ続けない
事実6: もし何らかの物は絶え難いとすれば「「リスト表示するしその上触れ続けない」ということは間違いでない」ということは成り立たない

仮説: あの二死はリスト表示するけどそれは触れ続けない
1. 事実1から、仮説が導かれる

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