もし仮にこの神葬祭が恐れ多いならばそれは譲れないけど疑義照会する
fact1: なにがしかの物が恐れ多いとしたら譲れない fact2: もしもこの神葬祭が恐れ多いならば譲れない fact3: 恐れ多いものは譲れない一方で疑義照会する fact4: もしなにがしかの物はレベルＡであるならそれはＸＹＺ表色系でないけど鋳造する fact5: 何かは利得するとしたら配置転換しないけど執念深い
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: なにがしかの物が恐れ多いとしたら譲れない fact2: もしもこの神葬祭が恐れ多いならば譲れない fact3: 恐れ多いものは譲れない一方で疑義照会する fact4: もしなにがしかの物はレベルＡであるならそれはＸＹＺ表色系でないけど鋳造する fact5: 何かは利得するとしたら配置転換しないけど執念深い ; $hypothesis$ = もし仮にこの神葬祭が恐れ多いならばそれは譲れないけど疑義照会する ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: なにがしかの物が恐れ多いとしたら譲れない
事実2: もしもこの神葬祭が恐れ多いならば譲れない
事実3: 恐れ多いものは譲れない一方で疑義照会する
事実4: もしなにがしかの物はレベルＡであるならそれはＸＹＺ表色系でないけど鋳造する
事実5: 何かは利得するとしたら配置転換しないけど執念深い

仮説: もし仮にこの神葬祭が恐れ多いならばそれは譲れないけど疑義照会する
1. 事実3から、仮説が導かれる

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