「「「入国出来なくてしかも御見せ出来ない」ということは成り立たない」物はある」ということは誤っている
fact1: この脳神経外科は加入者番号でない fact2: 「御見せ出来ないしまた加入者番号でない」物はある fact3: もしもこの脳神経外科は加入者番号でないとすれば「入国出来なくて加えて御見せ出来ない」ということは成り立たない fact4: 「「入国出来ないが御見せ出来る」ということは間違いな」物はある fact5: この共産主義政府は入国出来るということはない fact6: なんらかの物は引き出し得ないなら「入国出来るということはないし加えて近くない」ということは誤りである fact7: 何かは入国出来ないしおまけにそれは加入者番号でない fact8: 仮にその子供料金は婚約者でないなら「御見せ出来ないがしかしバックアップ出来る」ということは成り立たない
fact3 & fact1 -> int1: 「「この脳神経外科は入国出来るということはないし加えてそれは御見せ出来ない」ということは成り立たない」ということは間違いでない; int1 -> hypothesis;
もし仮にこの脳神経外科は引き出し得ないとすれば「それは入国出来るということはなくてしかも近くない」ということは事実と異なる
fact9 -> hypothesis;
$facts$ = fact1: この脳神経外科は加入者番号でない fact2: 「御見せ出来ないしまた加入者番号でない」物はある fact3: もしもこの脳神経外科は加入者番号でないとすれば「入国出来なくて加えて御見せ出来ない」ということは成り立たない fact4: 「「入国出来ないが御見せ出来る」ということは間違いな」物はある fact5: この共産主義政府は入国出来るということはない fact6: なんらかの物は引き出し得ないなら「入国出来るということはないし加えて近くない」ということは誤りである fact7: 何かは入国出来ないしおまけにそれは加入者番号でない fact8: 仮にその子供料金は婚約者でないなら「御見せ出来ないがしかしバックアップ出来る」ということは成り立たない ; $hypothesis$ = 「「「入国出来なくてしかも御見せ出来ない」ということは成り立たない」物はある」ということは誤っている ; $proof$ = 
fact3 & fact1 -> int1: 「「この脳神経外科は入国出来るということはないし加えてそれは御見せ出来ない」ということは成り立たない」ということは間違いでない; int1 -> hypothesis; __DISPROVED__
事実1: この脳神経外科は加入者番号でない
事実2: 「御見せ出来ないしまた加入者番号でない」物はある
事実3: もしもこの脳神経外科は加入者番号でないとすれば「入国出来なくて加えて御見せ出来ない」ということは成り立たない
事実4: 「「入国出来ないが御見せ出来る」ということは間違いな」物はある
事実5: この共産主義政府は入国出来るということはない
事実6: なんらかの物は引き出し得ないなら「入国出来るということはないし加えて近くない」ということは誤りである
事実7: 何かは入国出来ないしおまけにそれは加入者番号でない
事実8: 仮にその子供料金は婚約者でないなら「御見せ出来ないがしかしバックアップ出来る」ということは成り立たない

仮説: 「「「入国出来なくてしかも御見せ出来ない」ということは成り立たない」物はある」ということは誤っている
1. 事実3と事実1から、推論1: "「「この脳神経外科は入国出来るということはないし加えてそれは御見せ出来ない」ということは成り立たない」ということは間違いでない"が導かれる
2. 推論1から、仮説が否定される

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