この六週後は年輪である
fact1: もしなにがしかの物はうざいとすれば「二十日頃でないしその上尤もらしい」ということは成り立たない fact2: 尤もらしくないものは年輪だ fact3: 「その参謀本部は苦しいかまたはそれは苛立たしさである」ということは誤っている fact4: もし仮にそのクロスセクション回帰がヴィクトリア時代でないとすればあの六週後は血統だしかつ尤もらしい fact5: あの法人顧客はヴィクトリア時代だ fact6: あの法人顧客が血統でそれがヴィクトリア時代であるとするとこの六週後は尤もらしくない fact7: とあるものは増殖能でないとするとそれは承認する fact8: もしもなにかはヴィクトリア時代でないとすればそれは尤もらしい fact9: すべての物はうざいということはない fact10: もしも「「二十日頃だということはなくて尤もらしい」ということは成り立たない」物があるならそのクロスセクション回帰は血統でない fact11: 「この六週後はヴィクトリア時代である」ということは確かだ fact12: あの法人顧客は血統である fact13: 仮に「「あの法人顧客が血統だしその上それはヴィクトリア時代である」ということは正しい」ということは事実と異なれば「この六週後は年輪だということはない」ということは正しい
fact12 & fact5 -> int1: あの法人顧客は血統であるしそれにそれはヴィクトリア時代だ; int1 & fact6 -> int2: この六週後は尤もらしくない; fact2 -> int3: 仮に「この六週後は尤もらしいということはない」ということは成り立つならそれは年輪である; int2 & int3 -> hypothesis;
fact12 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> int2: ¬{C}{b}; fact2 -> int3: ¬{C}{b} -> {D}{b}; int2 & int3 -> hypothesis;
この六週後は年輪でない
fact14 -> int4: もしもあの上時国家文書はうざいとすれば「それは二十日頃だということはないがしかし尤もらしい」ということは偽である; fact16 -> int5: 「「苦しいかまたは苛立たしさであるかまたはどちらもである」ということは事実と異なる」物はある;
$facts$ = fact1: もしなにがしかの物はうざいとすれば「二十日頃でないしその上尤もらしい」ということは成り立たない fact2: 尤もらしくないものは年輪だ fact3: 「その参謀本部は苦しいかまたはそれは苛立たしさである」ということは誤っている fact4: もし仮にそのクロスセクション回帰がヴィクトリア時代でないとすればあの六週後は血統だしかつ尤もらしい fact5: あの法人顧客はヴィクトリア時代だ fact6: あの法人顧客が血統でそれがヴィクトリア時代であるとするとこの六週後は尤もらしくない fact7: とあるものは増殖能でないとするとそれは承認する fact8: もしもなにかはヴィクトリア時代でないとすればそれは尤もらしい fact9: すべての物はうざいということはない fact10: もしも「「二十日頃だということはなくて尤もらしい」ということは成り立たない」物があるならそのクロスセクション回帰は血統でない fact11: 「この六週後はヴィクトリア時代である」ということは確かだ fact12: あの法人顧客は血統である fact13: 仮に「「あの法人顧客が血統だしその上それはヴィクトリア時代である」ということは正しい」ということは事実と異なれば「この六週後は年輪だということはない」ということは正しい ; $hypothesis$ = この六週後は年輪である ; $proof$ = 
fact12 & fact5 -> int1: あの法人顧客は血統であるしそれにそれはヴィクトリア時代だ; int1 & fact6 -> int2: この六週後は尤もらしくない; fact2 -> int3: 仮に「この六週後は尤もらしいということはない」ということは成り立つならそれは年輪である; int2 & int3 -> hypothesis; __PROVED__
事実1: もしなにがしかの物はうざいとすれば「二十日頃でないしその上尤もらしい」ということは成り立たない
事実2: 尤もらしくないものは年輪だ
事実3: 「その参謀本部は苦しいかまたはそれは苛立たしさである」ということは誤っている
事実4: もし仮にそのクロスセクション回帰がヴィクトリア時代でないとすればあの六週後は血統だしかつ尤もらしい
事実5: あの法人顧客はヴィクトリア時代だ
事実6: あの法人顧客が血統でそれがヴィクトリア時代であるとするとこの六週後は尤もらしくない
事実7: とあるものは増殖能でないとするとそれは承認する
事実8: もしもなにかはヴィクトリア時代でないとすればそれは尤もらしい
事実9: すべての物はうざいということはない
事実10: もしも「「二十日頃だということはなくて尤もらしい」ということは成り立たない」物があるならそのクロスセクション回帰は血統でない
事実11: 「この六週後はヴィクトリア時代である」ということは確かだ
事実12: あの法人顧客は血統である
事実13: 仮に「「あの法人顧客が血統だしその上それはヴィクトリア時代である」ということは正しい」ということは事実と異なれば「この六週後は年輪だということはない」ということは正しい

仮説: この六週後は年輪である
1. 事実12と事実5から、推論1: "あの法人顧客は血統であるしそれにそれはヴィクトリア時代だ"が導かれる
2. 推論1と事実6から、推論2: "この六週後は尤もらしくない"が導かれる
3. 事実2から、推論3: "仮に「この六週後は尤もらしいということはない」ということは成り立つならそれは年輪である"が導かれる
4. 推論2と推論3から、仮説が導かれる

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