「その実収高が二千三年春だしそれにそれは刺々しい」ということは正しい
fact1: もしあの和名抄が与え易くないとすればその発意は与え易いということはない fact2: 全ての物は二千三年春である fact3: もしもこの外堀沿いは誤り無くないとすれば「その実収高が二千三年春だしさらに刺々しい」ということは偽である fact4: もしおもろいということはない物が格闘するとすればそれは遊学するということはない fact5: 全ては二千三年春であるしその上刺々しい fact6: 何かは遊学しないならば「「それは誤り無い一方で払い終わらない」ということは正しい」ということは嘘だ fact7: その発意が与え易くないならこの斎場はおもろくない一方で格闘する fact8: その実収高は二千三年春である
fact5 -> hypothesis;
「その実収高は二千三年春で刺々しい」ということは誤っている
fact12 -> int1: もしもこの斎場は遊学しないならば「それは誤り無いし払い終わらない」ということは成り立つということはない; fact13 -> int2: 仮にこの斎場はおもろくないがしかし格闘するとすると「遊学しない」ということは確かだ;
$facts$ = fact1: もしあの和名抄が与え易くないとすればその発意は与え易いということはない fact2: 全ての物は二千三年春である fact3: もしもこの外堀沿いは誤り無くないとすれば「その実収高が二千三年春だしさらに刺々しい」ということは偽である fact4: もしおもろいということはない物が格闘するとすればそれは遊学するということはない fact5: 全ては二千三年春であるしその上刺々しい fact6: 何かは遊学しないならば「「それは誤り無い一方で払い終わらない」ということは正しい」ということは嘘だ fact7: その発意が与え易くないならこの斎場はおもろくない一方で格闘する fact8: その実収高は二千三年春である ; $hypothesis$ = 「その実収高が二千三年春だしそれにそれは刺々しい」ということは正しい ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしあの和名抄が与え易くないとすればその発意は与え易いということはない
事実2: 全ての物は二千三年春である
事実3: もしもこの外堀沿いは誤り無くないとすれば「その実収高が二千三年春だしさらに刺々しい」ということは偽である
事実4: もしおもろいということはない物が格闘するとすればそれは遊学するということはない
事実5: 全ては二千三年春であるしその上刺々しい
事実6: 何かは遊学しないならば「「それは誤り無い一方で払い終わらない」ということは正しい」ということは嘘だ
事実7: その発意が与え易くないならこの斎場はおもろくない一方で格闘する
事実8: その実収高は二千三年春である

仮説: 「その実収高が二千三年春だしそれにそれは刺々しい」ということは正しい
1. 事実5から、仮説が導かれる

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