そのデニッシュはうんざりしない
fact1: あの選好度がうんざりするとするとそのデニッシュはうんざりする fact2: そのデニッシュは歌詠みであるけどうんざりしない fact3: この光学測定はうんざりするけれど継承すらない fact4: 「もし「なにがしかのものはパターン化するがしかしそれは御早くない」ということは本当でないとしたら歌詠みだ」ということは成り立つ fact5: そのデニッシュは歌詠みである
fact2 -> hypothesis;
fact2 -> hypothesis;
そのデニッシュはうんざりする
fact6 -> int1: 「あの選好度はパターン化するけれど御早くない」ということは間違っているとしたら歌詠みだ;
$facts$ = fact1: あの選好度がうんざりするとするとそのデニッシュはうんざりする fact2: そのデニッシュは歌詠みであるけどうんざりしない fact3: この光学測定はうんざりするけれど継承すらない fact4: 「もし「なにがしかのものはパターン化するがしかしそれは御早くない」ということは本当でないとしたら歌詠みだ」ということは成り立つ fact5: そのデニッシュは歌詠みである ; $hypothesis$ = そのデニッシュはうんざりしない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: あの選好度がうんざりするとするとそのデニッシュはうんざりする
事実2: そのデニッシュは歌詠みであるけどうんざりしない
事実3: この光学測定はうんざりするけれど継承すらない
事実4: 「もし「なにがしかのものはパターン化するがしかしそれは御早くない」ということは本当でないとしたら歌詠みだ」ということは成り立つ
事実5: そのデニッシュは歌詠みである

仮説: そのデニッシュはうんざりしない
1. 事実2から、仮説が導かれる

よって、仮説が証明されました。