「この博士課程はマイナス符号でなくて尤もらしくない」ということは本当である
fact1: もし仮になにかはトポロジーでないとしたら「それは馬鹿馬鹿しかないしそれに及び難いということはない」ということは成り立たない fact2: 「この博士課程はマイナス符号でなくて尤もらしくない」ということは成り立たない fact3: 「この博士課程は検挙しないがしかしそれは知り難し」ということは間違いである fact4: 「その文書整理は第十五項だということはないがしかし解き解す」ということは間違っている fact5: 「この博士課程はトポロジーでないし痩せ難いということはない」ということは事実でないとすればあの千日デパートはトポロジーでない
fact2 -> hypothesis;
fact2 -> hypothesis;
「この千日デパートは馬鹿馬鹿しかなくてまた及び難くない」ということは偽だ
fact6 -> int1: もしもこの千日デパートはトポロジーでないならば「馬鹿馬鹿しかないし及び難くない」ということは成り立たない;
$facts$ = fact1: もし仮になにかはトポロジーでないとしたら「それは馬鹿馬鹿しかないしそれに及び難いということはない」ということは成り立たない fact2: 「この博士課程はマイナス符号でなくて尤もらしくない」ということは成り立たない fact3: 「この博士課程は検挙しないがしかしそれは知り難し」ということは間違いである fact4: 「その文書整理は第十五項だということはないがしかし解き解す」ということは間違っている fact5: 「この博士課程はトポロジーでないし痩せ難いということはない」ということは事実でないとすればあの千日デパートはトポロジーでない ; $hypothesis$ = 「この博士課程はマイナス符号でなくて尤もらしくない」ということは本当である ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: もし仮になにかはトポロジーでないとしたら「それは馬鹿馬鹿しかないしそれに及び難いということはない」ということは成り立たない
事実2: 「この博士課程はマイナス符号でなくて尤もらしくない」ということは成り立たない
事実3: 「この博士課程は検挙しないがしかしそれは知り難し」ということは間違いである
事実4: 「その文書整理は第十五項だということはないがしかし解き解す」ということは間違っている
事実5: 「この博士課程はトポロジーでないし痩せ難いということはない」ということは事実でないとすればあの千日デパートはトポロジーでない

仮説: 「この博士課程はマイナス符号でなくて尤もらしくない」ということは本当である
1. 事実2から、仮説が否定される

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