この仕出しは御酌しない一方でそれは熱苦しい
fact1: もしもこの音律は悪病であるなら真白くないかあるいは生成し易いかどちらもだ fact2: もし仮にこの仕出しが生成し易いとすると弁解がましいかあるいはテスト法でない fact3: もし仮にこの音律は御酌するとすれば「この仕出しは御酌するし熱苦しい」ということは成り立たない fact4: 「この仕出しは御酌するしまたそれは熱苦しい」ということは偽である fact5: 天使らしいものはカラーでないかまたは熱苦しくないかまたは両方ともだ fact6: この音律は悪病である fact7: この音律は二十世紀中だ fact8: もしこの音律は真白いということはないかもしくは生成し易くないかまたは両方ともなら御酌する fact9: もしこの音律が悪病であるとすればそれは真白くないかまたはそれは生成し易くないかあるいは両方である fact10: 「仮にこの音律が御酌するとすればあの音律は悪病であるかまたは熱苦しくないか両方ともである」ということは成り立つ fact11: この音律は悪病であるかまたはナップスターでないかあるいは両方である fact12: もしもこの音律は御酌するとしたら「この仕出しは御酌しないがそれは熱苦しい」ということは成り立たない
fact9 & fact6 -> int1: この音律は真白くないかあるいは生成し易くないかあるいは両方ともである; int1 & fact8 -> int2: この音律は御酌する; int2 & fact12 -> hypothesis;
もしもこの音律が天使らしいならそれはカラーでないかまたはそれは熱苦しくないかあるいは両方だ
fact13 -> hypothesis;
$facts$ = fact1: もしもこの音律は悪病であるなら真白くないかあるいは生成し易いかどちらもだ fact2: もし仮にこの仕出しが生成し易いとすると弁解がましいかあるいはテスト法でない fact3: もし仮にこの音律は御酌するとすれば「この仕出しは御酌するし熱苦しい」ということは成り立たない fact4: 「この仕出しは御酌するしまたそれは熱苦しい」ということは偽である fact5: 天使らしいものはカラーでないかまたは熱苦しくないかまたは両方ともだ fact6: この音律は悪病である fact7: この音律は二十世紀中だ fact8: もしこの音律は真白いということはないかもしくは生成し易くないかまたは両方ともなら御酌する fact9: もしこの音律が悪病であるとすればそれは真白くないかまたはそれは生成し易くないかあるいは両方である fact10: 「仮にこの音律が御酌するとすればあの音律は悪病であるかまたは熱苦しくないか両方ともである」ということは成り立つ fact11: この音律は悪病であるかまたはナップスターでないかあるいは両方である fact12: もしもこの音律は御酌するとしたら「この仕出しは御酌しないがそれは熱苦しい」ということは成り立たない ; $hypothesis$ = この仕出しは御酌しない一方でそれは熱苦しい ; $proof$ = 
fact9 & fact6 -> int1: この音律は真白くないかあるいは生成し易くないかあるいは両方ともである; int1 & fact8 -> int2: この音律は御酌する; int2 & fact12 -> hypothesis; __DISPROVED__
事実1: もしもこの音律は悪病であるなら真白くないかあるいは生成し易いかどちらもだ
事実2: もし仮にこの仕出しが生成し易いとすると弁解がましいかあるいはテスト法でない
事実3: もし仮にこの音律は御酌するとすれば「この仕出しは御酌するし熱苦しい」ということは成り立たない
事実4: 「この仕出しは御酌するしまたそれは熱苦しい」ということは偽である
事実5: 天使らしいものはカラーでないかまたは熱苦しくないかまたは両方ともだ
事実6: この音律は悪病である
事実7: この音律は二十世紀中だ
事実8: もしこの音律は真白いということはないかもしくは生成し易くないかまたは両方ともなら御酌する
事実9: もしこの音律が悪病であるとすればそれは真白くないかまたはそれは生成し易くないかあるいは両方である
事実10: 「仮にこの音律が御酌するとすればあの音律は悪病であるかまたは熱苦しくないか両方ともである」ということは成り立つ
事実11: この音律は悪病であるかまたはナップスターでないかあるいは両方である
事実12: もしもこの音律は御酌するとしたら「この仕出しは御酌しないがそれは熱苦しい」ということは成り立たない

仮説: この仕出しは御酌しない一方でそれは熱苦しい
1. 事実9と事実6から、推論1: "この音律は真白くないかあるいは生成し易くないかあるいは両方ともである"が導かれる
2. 推論1と事実8から、推論2: "この音律は御酌する"が導かれる
3. 推論2と事実12から、仮説が否定される

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