あの放送法は金融機関である
fact1: 仮に「あるものは笑劇でないかもしくは御存じ無いということはないかまたは両方だ」ということは偽だとすれば金融機関でない fact2: その外国投資はトレーニング計画である fact3: もしも「その外国投資は天使らしいがしかしそれは毒々しかない」ということは真実でないならばそれは明記しない fact4: 仮にその外国投資はトレーニング計画なら「それは天使らしいけど毒々しかない」ということは事実と異なる fact5: 仮に「明記するということはない」物はあるとしたら「あの放送法は笑劇でないかもしくは御存じ無くないかまたはどちらもである」ということは成り立つということはない fact6: 「その外国投資は毒々しくて御存じ無い」ということは確かであるということはない
fact4 & fact2 -> int1: 「その外国投資は天使らしいが毒々しかない」ということは事実と異なる; int1 & fact3 -> int2: 「その外国投資は明記しない」ということは本当だ; int2 -> int3: 「明記しない」物はある; int3 & fact5 -> int4: 「あの放送法は笑劇でないかあるいは御存じ無いということはないかまたはどちらもだ」ということは成り立たない; fact1 -> int5: 「あの放送法は笑劇でないかまたはそれは御存じ無いということはないかあるいは両方である」ということは事実でないならば金融機関でない; int4 & int5 -> hypothesis;
$facts$ = fact1: 仮に「あるものは笑劇でないかもしくは御存じ無いということはないかまたは両方だ」ということは偽だとすれば金融機関でない fact2: その外国投資はトレーニング計画である fact3: もしも「その外国投資は天使らしいがしかしそれは毒々しかない」ということは真実でないならばそれは明記しない fact4: 仮にその外国投資はトレーニング計画なら「それは天使らしいけど毒々しかない」ということは事実と異なる fact5: 仮に「明記するということはない」物はあるとしたら「あの放送法は笑劇でないかもしくは御存じ無くないかまたはどちらもである」ということは成り立つということはない fact6: 「その外国投資は毒々しくて御存じ無い」ということは確かであるということはない ; $hypothesis$ = あの放送法は金融機関である ; $proof$ = 
fact4 & fact2 -> int1: 「その外国投資は天使らしいが毒々しかない」ということは事実と異なる; int1 & fact3 -> int2: 「その外国投資は明記しない」ということは本当だ; int2 -> int3: 「明記しない」物はある; int3 & fact5 -> int4: 「あの放送法は笑劇でないかあるいは御存じ無いということはないかまたはどちらもだ」ということは成り立たない; fact1 -> int5: 「あの放送法は笑劇でないかまたはそれは御存じ無いということはないかあるいは両方である」ということは事実でないならば金融機関でない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: 仮に「あるものは笑劇でないかもしくは御存じ無いということはないかまたは両方だ」ということは偽だとすれば金融機関でない
事実2: その外国投資はトレーニング計画である
事実3: もしも「その外国投資は天使らしいがしかしそれは毒々しかない」ということは真実でないならばそれは明記しない
事実4: 仮にその外国投資はトレーニング計画なら「それは天使らしいけど毒々しかない」ということは事実と異なる
事実5: 仮に「明記するということはない」物はあるとしたら「あの放送法は笑劇でないかもしくは御存じ無くないかまたはどちらもである」ということは成り立つということはない
事実6: 「その外国投資は毒々しくて御存じ無い」ということは確かであるということはない

仮説: あの放送法は金融機関である
1. 事実4と事実2から、推論1: "「その外国投資は天使らしいが毒々しかない」ということは事実と異なる"が導かれる
2. 推論1と事実3から、推論2: "「その外国投資は明記しない」ということは本当だ"が導かれる
3. 推論2から、推論3: "「明記しない」物はある"が導かれる
4. 推論3と事実5から、推論4: "「あの放送法は笑劇でないかあるいは御存じ無いということはないかまたはどちらもだ」ということは成り立たない"が導かれる
5. 事実1から、推論5: "「あの放送法は笑劇でないかまたはそれは御存じ無いということはないかあるいは両方である」ということは事実でないならば金融機関でない"が導かれる
6. 推論4と推論5から、仮説が否定される

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