「あの輸出予約はダンスしない一方で至りだ」ということは成り立たない
fact1: もしこの欧米列強は保険金受け取り人でないとすると吉岡流であるし止む無し fact2: もしなにがしかのものは過ぎ行かないとすると「ださくくないしおまけに保険金受け取り人であるということはない」ということは成り立たない fact3: もし仮になにがしかの物は止む無くなくて至りでないとすると「吉岡流である」ということは本当である fact4: もし仮にあるものは吉岡流であるとすると「ダンスするということはなくて加えて至りだ」ということは間違いだ fact5: この欧米列強は吉岡流でない fact6: もしあのマクロオートラジオグラフィがダンスするとしたらあの輸出予約はダンスしないがしかし至りだ fact7: もしこの欧米列強が吉岡流でないとするとあのマクロオートラジオグラフィは磨き抜くということはないけれどダンスする fact8: もしこの欧米列強が吉岡流であるとするとあの輸出予約は吉岡流だ fact9: この欧米列強が吉岡流だとしたらその実相身は広がり易くない一方で冷め難い fact10: 「あの輸出予約は至りである」ということは間違っていない fact11: もし「あのマクロオートラジオグラフィはださくないし保険金受け取り人であるということはない」ということは成り立たないとしたらこの欧米列強は保険金受け取り人でない
fact7 & fact5 -> int1: あのマクロオートラジオグラフィは磨き抜かないけれどダンスする; int1 -> int2: あのマクロオートラジオグラフィはダンスする; int2 & fact6 -> hypothesis;
その実相身は広がり易くないがしかし冷め難い
fact12 -> int3: もし仮にこの欧米列強は止む無しということはないし至りだということはないならばそれは吉岡流だ;
$facts$ = fact1: もしこの欧米列強は保険金受け取り人でないとすると吉岡流であるし止む無し fact2: もしなにがしかのものは過ぎ行かないとすると「ださくくないしおまけに保険金受け取り人であるということはない」ということは成り立たない fact3: もし仮になにがしかの物は止む無くなくて至りでないとすると「吉岡流である」ということは本当である fact4: もし仮にあるものは吉岡流であるとすると「ダンスするということはなくて加えて至りだ」ということは間違いだ fact5: この欧米列強は吉岡流でない fact6: もしあのマクロオートラジオグラフィがダンスするとしたらあの輸出予約はダンスしないがしかし至りだ fact7: もしこの欧米列強が吉岡流でないとするとあのマクロオートラジオグラフィは磨き抜くということはないけれどダンスする fact8: もしこの欧米列強が吉岡流であるとするとあの輸出予約は吉岡流だ fact9: この欧米列強が吉岡流だとしたらその実相身は広がり易くない一方で冷め難い fact10: 「あの輸出予約は至りである」ということは間違っていない fact11: もし「あのマクロオートラジオグラフィはださくないし保険金受け取り人であるということはない」ということは成り立たないとしたらこの欧米列強は保険金受け取り人でない ; $hypothesis$ = 「あの輸出予約はダンスしない一方で至りだ」ということは成り立たない ; $proof$ = 
fact7 & fact5 -> int1: あのマクロオートラジオグラフィは磨き抜かないけれどダンスする; int1 -> int2: あのマクロオートラジオグラフィはダンスする; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: もしこの欧米列強は保険金受け取り人でないとすると吉岡流であるし止む無し
事実2: もしなにがしかのものは過ぎ行かないとすると「ださくくないしおまけに保険金受け取り人であるということはない」ということは成り立たない
事実3: もし仮になにがしかの物は止む無くなくて至りでないとすると「吉岡流である」ということは本当である
事実4: もし仮にあるものは吉岡流であるとすると「ダンスするということはなくて加えて至りだ」ということは間違いだ
事実5: この欧米列強は吉岡流でない
事実6: もしあのマクロオートラジオグラフィがダンスするとしたらあの輸出予約はダンスしないがしかし至りだ
事実7: もしこの欧米列強が吉岡流でないとするとあのマクロオートラジオグラフィは磨き抜くということはないけれどダンスする
事実8: もしこの欧米列強が吉岡流であるとするとあの輸出予約は吉岡流だ
事実9: この欧米列強が吉岡流だとしたらその実相身は広がり易くない一方で冷め難い
事実10: 「あの輸出予約は至りである」ということは間違っていない
事実11: もし「あのマクロオートラジオグラフィはださくないし保険金受け取り人であるということはない」ということは成り立たないとしたらこの欧米列強は保険金受け取り人でない

仮説: 「あの輸出予約はダンスしない一方で至りだ」ということは成り立たない
1. 事実7と事実5から、推論1: "あのマクロオートラジオグラフィは磨き抜かないけれどダンスする"が導かれる
2. 推論1から、推論2: "あのマクロオートラジオグラフィはダンスする"が導かれる
3. 推論2と事実6から、仮説が否定される

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