「この為替レートは春めくということはない」ということは成り立つ
fact1: 「とあるものは懐でないがしかし春めく」ということは誤りであるとすれば「それは春めかない」ということは正しい fact2: もし何らかのものが謝罪するとすればそれは忌ま忌ましいし二走内であるということはない fact3: 仮になにがしかのものは二走内でないなら「それは懐でない一方で春めく」ということは成り立たない fact4: もしあの手術適応がパリ・イメージでないならばあの為替レートは春めく fact5: そのＦＢＩ長官は二走内でない fact6: もしもあの手術適応が術野でないならばこの為替レートは春めく fact7: もしもそのＦＢＩ長官が二走内でないならばあの手術適応は術野でないかまたはパリ・イメージでないかまたは両方ともだ fact8: もしとあるものは春めかないとしたら「それは各省代表会だし二走内だ」ということは偽である fact9: もしそのＦＢＩ長官が忌ま忌ましいがしかしそれが二走内でないとすればあの為替レートは二走内でない
fact7 & fact5 -> int1: あの手術適応は術野でないかまたはパリ・イメージでないかもしくは両方ともである; int1 & fact6 & fact4 -> hypothesis;
あの手術適応は惟るないかもしくは各省代表会でないかあるいはどちらもだ
fact10 -> int2: この為替レートは春めくということはないとすると「「それは各省代表会であるしさらに二走内である」ということは成り立つ」ということは成り立たない;
$facts$ = fact1: 「とあるものは懐でないがしかし春めく」ということは誤りであるとすれば「それは春めかない」ということは正しい fact2: もし何らかのものが謝罪するとすればそれは忌ま忌ましいし二走内であるということはない fact3: 仮になにがしかのものは二走内でないなら「それは懐でない一方で春めく」ということは成り立たない fact4: もしあの手術適応がパリ・イメージでないならばあの為替レートは春めく fact5: そのＦＢＩ長官は二走内でない fact6: もしもあの手術適応が術野でないならばこの為替レートは春めく fact7: もしもそのＦＢＩ長官が二走内でないならばあの手術適応は術野でないかまたはパリ・イメージでないかまたは両方ともだ fact8: もしとあるものは春めかないとしたら「それは各省代表会だし二走内だ」ということは偽である fact9: もしそのＦＢＩ長官が忌ま忌ましいがしかしそれが二走内でないとすればあの為替レートは二走内でない ; $hypothesis$ = 「この為替レートは春めくということはない」ということは成り立つ ; $proof$ = 
fact7 & fact5 -> int1: あの手術適応は術野でないかまたはパリ・イメージでないかもしくは両方ともである; int1 & fact6 & fact4 -> hypothesis; __DISPROVED__
事実1: 「とあるものは懐でないがしかし春めく」ということは誤りであるとすれば「それは春めかない」ということは正しい
事実2: もし何らかのものが謝罪するとすればそれは忌ま忌ましいし二走内であるということはない
事実3: 仮になにがしかのものは二走内でないなら「それは懐でない一方で春めく」ということは成り立たない
事実4: もしあの手術適応がパリ・イメージでないならばあの為替レートは春めく
事実5: そのＦＢＩ長官は二走内でない
事実6: もしもあの手術適応が術野でないならばこの為替レートは春めく
事実7: もしもそのＦＢＩ長官が二走内でないならばあの手術適応は術野でないかまたはパリ・イメージでないかまたは両方ともだ
事実8: もしとあるものは春めかないとしたら「それは各省代表会だし二走内だ」ということは偽である
事実9: もしそのＦＢＩ長官が忌ま忌ましいがしかしそれが二走内でないとすればあの為替レートは二走内でない

仮説: 「この為替レートは春めくということはない」ということは成り立つ
1. 事実7と事実5から、推論1: "あの手術適応は術野でないかまたはパリ・イメージでないかもしくは両方ともである"が導かれる
2. 推論1と事実6と事実4から、仮説が否定される

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