その建築史上はばあかしいし加えて想像し難い
fact1: もしも「重々しかない」物はあるとすると「その建築史上はばあかしいしそれは想像し難い」ということは間違っている fact2: 「その建築史上は想像し難くて加えて区別し易い」ということは正しくない fact3: その建築史上はばあかしい fact4: 「想像し難くない」ものはある fact5: なにかは想像し難い fact6: もし何らかの物は重々しかないとすると「それは立ち会えるし加えてばあかしい」ということは成り立たない fact7: 「三十種類以上でない」ものはある fact8: 「「その建築史上は激化するししかもそれは重々しい」ということは本当だ」ということは事実でない fact9: 「重々しい」ものはある fact10: 重々しかないものはある fact11: 「その建築史上が想像し難いしその上当選確率だ」ということは事実と異なる fact12: もし仮にその建築史上は重々しいとしたら「想像し難い」ということは確かである
fact10 & fact1 -> hypothesis;
fact10 & fact1 -> hypothesis;
その建築史上はばあかしいし想像し難い
$facts$ = fact1: もしも「重々しかない」物はあるとすると「その建築史上はばあかしいしそれは想像し難い」ということは間違っている fact2: 「その建築史上は想像し難くて加えて区別し易い」ということは正しくない fact3: その建築史上はばあかしい fact4: 「想像し難くない」ものはある fact5: なにかは想像し難い fact6: もし何らかの物は重々しかないとすると「それは立ち会えるし加えてばあかしい」ということは成り立たない fact7: 「三十種類以上でない」ものはある fact8: 「「その建築史上は激化するししかもそれは重々しい」ということは本当だ」ということは事実でない fact9: 「重々しい」ものはある fact10: 重々しかないものはある fact11: 「その建築史上が想像し難いしその上当選確率だ」ということは事実と異なる fact12: もし仮にその建築史上は重々しいとしたら「想像し難い」ということは確かである ; $hypothesis$ = その建築史上はばあかしいし加えて想像し難い ; $proof$ = 
fact10 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも「重々しかない」物はあるとすると「その建築史上はばあかしいしそれは想像し難い」ということは間違っている
事実2: 「その建築史上は想像し難くて加えて区別し易い」ということは正しくない
事実3: その建築史上はばあかしい
事実4: 「想像し難くない」ものはある
事実5: なにかは想像し難い
事実6: もし何らかの物は重々しかないとすると「それは立ち会えるし加えてばあかしい」ということは成り立たない
事実7: 「三十種類以上でない」ものはある
事実8: 「「その建築史上は激化するししかもそれは重々しい」ということは本当だ」ということは事実でない
事実9: 「重々しい」ものはある
事実10: 重々しかないものはある
事実11: 「その建築史上が想像し難いしその上当選確率だ」ということは事実と異なる
事実12: もし仮にその建築史上は重々しいとしたら「想像し難い」ということは確かである

仮説: その建築史上はばあかしいし加えて想像し難い
1. 事実10と事実1から、仮説が否定される

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