この能登国は比較衡量する
fact1: 英文学は第三者異議である fact2: この能登国は切る fact3: もし「その前年枝は御鍋でない」ということは成り立てばこの能登国は形成され易い一方で切らない fact4: もしもこの能登国が外科手術型ならばあの始祖は外科手術型だ fact5: この能登国は切るし比較衡量する fact6: もしも形成され易い物が切らないとすると比較衡量しない fact7: 「その前年枝は切る」ということは事実である fact8: もし仮にあるものが第三者異議でその上それが臭気だとするとそれは御鍋でない
fact5 -> hypothesis;
fact5 -> hypothesis;
この始祖は外科手術型であるしかつ提案内容である
$facts$ = fact1: 英文学は第三者異議である fact2: この能登国は切る fact3: もし「その前年枝は御鍋でない」ということは成り立てばこの能登国は形成され易い一方で切らない fact4: もしもこの能登国が外科手術型ならばあの始祖は外科手術型だ fact5: この能登国は切るし比較衡量する fact6: もしも形成され易い物が切らないとすると比較衡量しない fact7: 「その前年枝は切る」ということは事実である fact8: もし仮にあるものが第三者異議でその上それが臭気だとするとそれは御鍋でない ; $hypothesis$ = この能登国は比較衡量する ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 英文学は第三者異議である
事実2: この能登国は切る
事実3: もし「その前年枝は御鍋でない」ということは成り立てばこの能登国は形成され易い一方で切らない
事実4: もしもこの能登国が外科手術型ならばあの始祖は外科手術型だ
事実5: この能登国は切るし比較衡量する
事実6: もしも形成され易い物が切らないとすると比較衡量しない
事実7: 「その前年枝は切る」ということは事実である
事実8: もし仮にあるものが第三者異議でその上それが臭気だとするとそれは御鍋でない

仮説: この能登国は比較衡量する
1. 事実5から、仮説が導かれる

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