この室町幕府は名状し難くない
fact1: この室町幕府がフーリエ像ならばそれは名状し難くない fact2: 仮に「「おっかしくないが貧し」ということは正しくない」ものがあるならこのプロパーは歌詞内容だ fact3: 「この室町幕府は行けるがフーリエ像でない」ということは本当でないならばそれは名状し難くない fact4: 「この室町幕府は行けるしまたフーリエ像である」ということは成り立たない fact5: 「「この削除フラグはおっかしくないがしかし貧し」ということは成り立たない」ということは成り立つ fact6: 「この室町幕府は行けるけれどフーリエ像でない」ということは成り立たない
fact3 & fact6 -> hypothesis;
fact3 & fact6 -> hypothesis;
この室町幕府は名状し難い
fact8 -> int1: 「「おっかしくないし貧し」ということは事実と異なる」物はある; int1 & fact7 -> int2: このプロパーは歌詞内容だ; int2 -> int3: なんらかのものは歌詞内容だ;
$facts$ = fact1: この室町幕府がフーリエ像ならばそれは名状し難くない fact2: 仮に「「おっかしくないが貧し」ということは正しくない」ものがあるならこのプロパーは歌詞内容だ fact3: 「この室町幕府は行けるがフーリエ像でない」ということは本当でないならばそれは名状し難くない fact4: 「この室町幕府は行けるしまたフーリエ像である」ということは成り立たない fact5: 「「この削除フラグはおっかしくないがしかし貧し」ということは成り立たない」ということは成り立つ fact6: 「この室町幕府は行けるけれどフーリエ像でない」ということは成り立たない ; $hypothesis$ = この室町幕府は名状し難くない ; $proof$ = 
fact3 & fact6 -> hypothesis; __PROVED__
事実1: この室町幕府がフーリエ像ならばそれは名状し難くない
事実2: 仮に「「おっかしくないが貧し」ということは正しくない」ものがあるならこのプロパーは歌詞内容だ
事実3: 「この室町幕府は行けるがフーリエ像でない」ということは本当でないならばそれは名状し難くない
事実4: 「この室町幕府は行けるしまたフーリエ像である」ということは成り立たない
事実5: 「「この削除フラグはおっかしくないがしかし貧し」ということは成り立たない」ということは成り立つ
事実6: 「この室町幕府は行けるけれどフーリエ像でない」ということは成り立たない

仮説: この室町幕府は名状し難くない
1. 事実3と事実6から、仮説が導かれる

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