このヨーロッパ委員会は曲率半径でない
fact1: その飾り枠は曲率半径だ fact2: このヨーロッパ委員会は顕彰である fact3: この物件移転は曲率半径だ fact4: 仮に「あるものは曲率半径でそれにコンパイルする」ということは成り立たないならそれは曲率半径でない fact5: もしなにがしかのものは選挙しないとすれば「それは曲率半径だしコンパイルする」ということは成り立つということはない fact6: このヨーロッパ委員会は曲率半径だ fact7: 仮になにかは選挙しないとすれば曲率半径であるしコンパイルする
fact6 -> hypothesis;
このヨーロッパ委員会は曲率半径でない
fact9 -> int1: 仮に「このヨーロッパ委員会が曲率半径だし更にコンパイルする」ということは成り立たないとすると「曲率半径でない」ということは真実だ; fact8 -> int2: もしこのヨーロッパ委員会は選挙しないとしたら「曲率半径だしさらにそれはコンパイルする」ということは成り立たない;
$facts$ = fact1: その飾り枠は曲率半径だ fact2: このヨーロッパ委員会は顕彰である fact3: この物件移転は曲率半径だ fact4: 仮に「あるものは曲率半径でそれにコンパイルする」ということは成り立たないならそれは曲率半径でない fact5: もしなにがしかのものは選挙しないとすれば「それは曲率半径だしコンパイルする」ということは成り立つということはない fact6: このヨーロッパ委員会は曲率半径だ fact7: 仮になにかは選挙しないとすれば曲率半径であるしコンパイルする ; $hypothesis$ = このヨーロッパ委員会は曲率半径でない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: その飾り枠は曲率半径だ
事実2: このヨーロッパ委員会は顕彰である
事実3: この物件移転は曲率半径だ
事実4: 仮に「あるものは曲率半径でそれにコンパイルする」ということは成り立たないならそれは曲率半径でない
事実5: もしなにがしかのものは選挙しないとすれば「それは曲率半径だしコンパイルする」ということは成り立つということはない
事実6: このヨーロッパ委員会は曲率半径だ
事実7: 仮になにかは選挙しないとすれば曲率半径であるしコンパイルする

仮説: このヨーロッパ委員会は曲率半径でない
1. 事実6から、仮説が否定される

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