「この日本書紀は模擬する」ということは事実と異ならない
fact1: もしもこのオーケーは書き加えるなら「それは気高くない」ということは確かである fact2: この日本書紀は確からしい fact3: 仮にとあるものが言い尽くすとすれば模擬しないか気難しくないかまたはどちらもである fact4: この日本書紀は崩壊後である fact5: 気難しい物は模擬しない fact6: この日本書紀はタクシー乗り場であるしそれは誘き出す fact7: もし仮になんらかの物は書き加えるとすれば「それは気難しい」ということは本当だ fact8: この陵は書き加えない fact9: この日本書紀は書き加えるし確からしい fact10: 緩急は綴じない fact11: すべては物的法則である fact12: もし「この市民向けは書き加えなくて確からしくない」ということは間違っているとしたらこの日本書紀は模擬する
fact9 -> int1: 「この日本書紀は書き加える」ということは成り立つ; fact7 -> int2: もし仮にこの日本書紀が書き加えるならそれは気難しい; int1 & int2 -> int3: この日本書紀は気難しい; fact5 -> int4: もしもこの日本書紀は気難しいとすれば「それは模擬しない」ということは成り立つ; int3 & int4 -> hypothesis;
この日本書紀は模擬する
fact14 -> int5: この学校日誌は物的法則である;
$facts$ = fact1: もしもこのオーケーは書き加えるなら「それは気高くない」ということは確かである fact2: この日本書紀は確からしい fact3: 仮にとあるものが言い尽くすとすれば模擬しないか気難しくないかまたはどちらもである fact4: この日本書紀は崩壊後である fact5: 気難しい物は模擬しない fact6: この日本書紀はタクシー乗り場であるしそれは誘き出す fact7: もし仮になんらかの物は書き加えるとすれば「それは気難しい」ということは本当だ fact8: この陵は書き加えない fact9: この日本書紀は書き加えるし確からしい fact10: 緩急は綴じない fact11: すべては物的法則である fact12: もし「この市民向けは書き加えなくて確からしくない」ということは間違っているとしたらこの日本書紀は模擬する ; $hypothesis$ = 「この日本書紀は模擬する」ということは事実と異ならない ; $proof$ = 
fact9 -> int1: 「この日本書紀は書き加える」ということは成り立つ; fact7 -> int2: もし仮にこの日本書紀が書き加えるならそれは気難しい; int1 & int2 -> int3: この日本書紀は気難しい; fact5 -> int4: もしもこの日本書紀は気難しいとすれば「それは模擬しない」ということは成り立つ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしもこのオーケーは書き加えるなら「それは気高くない」ということは確かである
事実2: この日本書紀は確からしい
事実3: 仮にとあるものが言い尽くすとすれば模擬しないか気難しくないかまたはどちらもである
事実4: この日本書紀は崩壊後である
事実5: 気難しい物は模擬しない
事実6: この日本書紀はタクシー乗り場であるしそれは誘き出す
事実7: もし仮になんらかの物は書き加えるとすれば「それは気難しい」ということは本当だ
事実8: この陵は書き加えない
事実9: この日本書紀は書き加えるし確からしい
事実10: 緩急は綴じない
事実11: すべては物的法則である
事実12: もし「この市民向けは書き加えなくて確からしくない」ということは間違っているとしたらこの日本書紀は模擬する

仮説: 「この日本書紀は模擬する」ということは事実と異ならない
1. 事実9から、推論1: "「この日本書紀は書き加える」ということは成り立つ"が導かれる
2. 事実7から、推論2: "もし仮にこの日本書紀が書き加えるならそれは気難しい"が導かれる
3. 推論1と推論2から、推論3: "この日本書紀は気難しい"が導かれる
4. 事実5から、推論4: "もしもこの日本書紀は気難しいとすれば「それは模擬しない」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が否定される

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