その判例理論は高笑いするということはない
fact1: この既着品は予表するし加えて貸せる fact2: この第一種基礎研究は十八史略であるかもしくはそれは取り扱えない fact3: 仮にこの第一種基礎研究が予表しないしそれにそれが宝石でないとしたらあの総量は高笑いしない fact4: 「この第一種基礎研究は悪しし更にそれは予表する」ということは正しくないならばそれは予表しない fact5: もしある物が約すしその上それが貸せればその判例理論は高笑いする fact6: 仮にこの第一種基礎研究が十八史略であるかそれが取り扱えないとすればこの既着品は約す fact7: 「「貸せる」ということは確かである」物はある fact8: もし仮にこの第一種基礎研究が取り扱えないならこの既着品は約す fact9: この第一種基礎研究は十八史略であるかまたは取り扱える fact10: 「この第一種基礎研究は悪ししおまけに予表する」ということは偽である fact11: この既着品は予表する
fact6 & fact2 -> int1: この既着品は約す; fact1 -> int2: この既着品は貸せる; int1 & int2 -> int3: この既着品は約すしそれは貸せる; int3 -> int4: なにがしかの物は約すしかつそれは貸せる; int4 & fact5 -> hypothesis;
「あの総量は約す」ということは事実である
fact13 & fact12 -> int5: この第一種基礎研究は予表するということはない;
$facts$ = fact1: この既着品は予表するし加えて貸せる fact2: この第一種基礎研究は十八史略であるかもしくはそれは取り扱えない fact3: 仮にこの第一種基礎研究が予表しないしそれにそれが宝石でないとしたらあの総量は高笑いしない fact4: 「この第一種基礎研究は悪しし更にそれは予表する」ということは正しくないならばそれは予表しない fact5: もしある物が約すしその上それが貸せればその判例理論は高笑いする fact6: 仮にこの第一種基礎研究が十八史略であるかそれが取り扱えないとすればこの既着品は約す fact7: 「「貸せる」ということは確かである」物はある fact8: もし仮にこの第一種基礎研究が取り扱えないならこの既着品は約す fact9: この第一種基礎研究は十八史略であるかまたは取り扱える fact10: 「この第一種基礎研究は悪ししおまけに予表する」ということは偽である fact11: この既着品は予表する ; $hypothesis$ = その判例理論は高笑いするということはない ; $proof$ = 
fact6 & fact2 -> int1: この既着品は約す; fact1 -> int2: この既着品は貸せる; int1 & int2 -> int3: この既着品は約すしそれは貸せる; int3 -> int4: なにがしかの物は約すしかつそれは貸せる; int4 & fact5 -> hypothesis; __DISPROVED__
事実1: この既着品は予表するし加えて貸せる
事実2: この第一種基礎研究は十八史略であるかもしくはそれは取り扱えない
事実3: 仮にこの第一種基礎研究が予表しないしそれにそれが宝石でないとしたらあの総量は高笑いしない
事実4: 「この第一種基礎研究は悪しし更にそれは予表する」ということは正しくないならばそれは予表しない
事実5: もしある物が約すしその上それが貸せればその判例理論は高笑いする
事実6: 仮にこの第一種基礎研究が十八史略であるかそれが取り扱えないとすればこの既着品は約す
事実7: 「「貸せる」ということは確かである」物はある
事実8: もし仮にこの第一種基礎研究が取り扱えないならこの既着品は約す
事実9: この第一種基礎研究は十八史略であるかまたは取り扱える
事実10: 「この第一種基礎研究は悪ししおまけに予表する」ということは偽である
事実11: この既着品は予表する

仮説: その判例理論は高笑いするということはない
1. 事実6と事実2から、推論1: "この既着品は約す"が導かれる
2. 事実1から、推論2: "この既着品は貸せる"が導かれる
3. 推論1と推論2から、推論3: "この既着品は約すしそれは貸せる"が導かれる
4. 推論3から、推論4: "なにがしかの物は約すしかつそれは貸せる"が導かれる
5. 推論4と事実5から、仮説が否定される

よって、仮説が否定されました。