その文治主義は代償しない
fact1: 仮にあるものが回れないとするとそれは山形屋だ fact2: もしなにかは伝統であるかあるいは山形屋であるか両方なら「その文治主義は代償しない」ということは確かである fact3: その文治主義はばら肉でない fact4: 「「離散するしかつ鳴き止む」ということは成り立たない」物はある fact5: その文治主義は見切る fact6: とあるものは離散するけれど鳴き止まない fact7: 仮に「伝統である」物があるとしたらその文治主義は代償しない fact8: 「「離散するけれど鳴き止まない」ということは成り立たない」ものはある fact9: もし仮にその題材名が回れるならばあの文治主義は代償する fact10: 「その題材名は仄白い」ということは成り立つ fact11: もし仮に「「「離散するし鳴き止まない」ということは成り立つ」ということは間違いな」物があるならその題材名は回れるということはない fact12: その題材名は代償するということはない fact13: もしなにがしかのものが鳴き止めばその題材名は回れるということはない
fact8 & fact11 -> int1: その題材名は回れない; fact1 -> int2: もしその題材名が回れないとしたら山形屋である; int1 & int2 -> int3: その題材名は山形屋である; int3 -> int4: その題材名は伝統であるかもしくは山形屋だ; int4 -> int5: 「伝統であるかまたは山形屋である」物はある; int5 & fact2 -> hypothesis;
その文治主義は代償する
$facts$ = fact1: 仮にあるものが回れないとするとそれは山形屋だ fact2: もしなにかは伝統であるかあるいは山形屋であるか両方なら「その文治主義は代償しない」ということは確かである fact3: その文治主義はばら肉でない fact4: 「「離散するしかつ鳴き止む」ということは成り立たない」物はある fact5: その文治主義は見切る fact6: とあるものは離散するけれど鳴き止まない fact7: 仮に「伝統である」物があるとしたらその文治主義は代償しない fact8: 「「離散するけれど鳴き止まない」ということは成り立たない」ものはある fact9: もし仮にその題材名が回れるならばあの文治主義は代償する fact10: 「その題材名は仄白い」ということは成り立つ fact11: もし仮に「「「離散するし鳴き止まない」ということは成り立つ」ということは間違いな」物があるならその題材名は回れるということはない fact12: その題材名は代償するということはない fact13: もしなにがしかのものが鳴き止めばその題材名は回れるということはない ; $hypothesis$ = その文治主義は代償しない ; $proof$ = 
fact8 & fact11 -> int1: その題材名は回れない; fact1 -> int2: もしその題材名が回れないとしたら山形屋である; int1 & int2 -> int3: その題材名は山形屋である; int3 -> int4: その題材名は伝統であるかもしくは山形屋だ; int4 -> int5: 「伝統であるかまたは山形屋である」物はある; int5 & fact2 -> hypothesis; __PROVED__
事実1: 仮にあるものが回れないとするとそれは山形屋だ
事実2: もしなにかは伝統であるかあるいは山形屋であるか両方なら「その文治主義は代償しない」ということは確かである
事実3: その文治主義はばら肉でない
事実4: 「「離散するしかつ鳴き止む」ということは成り立たない」物はある
事実5: その文治主義は見切る
事実6: とあるものは離散するけれど鳴き止まない
事実7: 仮に「伝統である」物があるとしたらその文治主義は代償しない
事実8: 「「離散するけれど鳴き止まない」ということは成り立たない」ものはある
事実9: もし仮にその題材名が回れるならばあの文治主義は代償する
事実10: 「その題材名は仄白い」ということは成り立つ
事実11: もし仮に「「「離散するし鳴き止まない」ということは成り立つ」ということは間違いな」物があるならその題材名は回れるということはない
事実12: その題材名は代償するということはない
事実13: もしなにがしかのものが鳴き止めばその題材名は回れるということはない

仮説: その文治主義は代償しない
1. 事実8と事実11から、推論1: "その題材名は回れない"が導かれる
2. 事実1から、推論2: "もしその題材名が回れないとしたら山形屋である"が導かれる
3. 推論1と推論2から、推論3: "その題材名は山形屋である"が導かれる
4. 推論3から、推論4: "その題材名は伝統であるかもしくは山形屋だ"が導かれる
5. 推論4から、推論5: "「伝統であるかまたは山形屋である」物はある"が導かれる
6. 推論5と事実2から、仮説が導かれる

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