「「その水玉はちげえであるしその上それはキャストする」ということは本当だ」ということは成り立たない
fact1: あの外国税額控除制度は甚だしくておまけにそれは変え難い fact2: 仮に「「果実重量でなくて過ごし易くない」ということは誤っている」物があるとすればそのκＹはキャストしない fact3: そのκＹはちげえでない fact4: ある物は果実重量でなくてそれに過ごし易いということはない fact5: 「「キャストしないしちげえでない」ということは嘘である」ものはある fact6: 「「果実重量でないしおまけに過ごし易くない」ということは嘘である」ものはある fact7: もしも「そのκＹはキャストしない」ということは成り立つならばあの水玉はちげえであるしまたキャストする
fact6 & fact2 -> int1: そのκＹはキャストしない; int1 & fact7 -> hypothesis;
$facts$ = fact1: あの外国税額控除制度は甚だしくておまけにそれは変え難い fact2: 仮に「「果実重量でなくて過ごし易くない」ということは誤っている」物があるとすればそのκＹはキャストしない fact3: そのκＹはちげえでない fact4: ある物は果実重量でなくてそれに過ごし易いということはない fact5: 「「キャストしないしちげえでない」ということは嘘である」ものはある fact6: 「「果実重量でないしおまけに過ごし易くない」ということは嘘である」ものはある fact7: もしも「そのκＹはキャストしない」ということは成り立つならばあの水玉はちげえであるしまたキャストする ; $hypothesis$ = 「「その水玉はちげえであるしその上それはキャストする」ということは本当だ」ということは成り立たない ; $proof$ = 
fact6 & fact2 -> int1: そのκＹはキャストしない; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: あの外国税額控除制度は甚だしくておまけにそれは変え難い
事実2: 仮に「「果実重量でなくて過ごし易くない」ということは誤っている」物があるとすればそのκＹはキャストしない
事実3: そのκＹはちげえでない
事実4: ある物は果実重量でなくてそれに過ごし易いということはない
事実5: 「「キャストしないしちげえでない」ということは嘘である」ものはある
事実6: 「「果実重量でないしおまけに過ごし易くない」ということは嘘である」ものはある
事実7: もしも「そのκＹはキャストしない」ということは成り立つならばあの水玉はちげえであるしまたキャストする

仮説: 「「その水玉はちげえであるしその上それはキャストする」ということは本当だ」ということは成り立たない
1. 事実6と事実2から、推論1: "そのκＹはキャストしない"が導かれる
2. 推論1と事実7から、仮説が否定される

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