この十五年度は燃え盛る
fact1: もしも「この十三世紀は気まずい」ということは真実ならばこの十五年度は燃え盛らない fact2: この十三世紀は程良いしまた忌まわしい fact3: もしとあるものが燃え盛るとしたら程良い fact4: もしこの十三世紀が燃え盛るとすればあの十五年度は燃え盛る fact5: 程良い物は気まずい
fact2 -> int1: この十三世紀は程良い; fact5 -> int2: この十三世紀が程良いならばそれは気まずい; int1 & int2 -> int3: 「この十三世紀は気まずい」ということは真実だ; int3 & fact1 -> hypothesis;
「この十五年度は燃え盛る」ということは成り立つ
$facts$ = fact1: もしも「この十三世紀は気まずい」ということは真実ならばこの十五年度は燃え盛らない fact2: この十三世紀は程良いしまた忌まわしい fact3: もしとあるものが燃え盛るとしたら程良い fact4: もしこの十三世紀が燃え盛るとすればあの十五年度は燃え盛る fact5: 程良い物は気まずい ; $hypothesis$ = この十五年度は燃え盛る ; $proof$ = 
fact2 -> int1: この十三世紀は程良い; fact5 -> int2: この十三世紀が程良いならばそれは気まずい; int1 & int2 -> int3: 「この十三世紀は気まずい」ということは真実だ; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも「この十三世紀は気まずい」ということは真実ならばこの十五年度は燃え盛らない
事実2: この十三世紀は程良いしまた忌まわしい
事実3: もしとあるものが燃え盛るとしたら程良い
事実4: もしこの十三世紀が燃え盛るとすればあの十五年度は燃え盛る
事実5: 程良い物は気まずい

仮説: この十五年度は燃え盛る
1. 事実2から、推論1: "この十三世紀は程良い"が導かれる
2. 事実5から、推論2: "この十三世紀が程良いならばそれは気まずい"が導かれる
3. 推論1と推論2から、推論3: "「この十三世紀は気まずい」ということは真実だ"が導かれる
4. 推論3と事実1から、仮説が否定される

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