「その有価証券運用損益は多元化しない」ということは真実である
fact1: もしも何らかのものは適応しないとすれば「「それは多元化するけど程良くない」ということは本当だ」ということは成り立たない fact2: もし仮にあの第一回大会は適応するなら「人事決定でないが青臭い」ということは成り立たない fact3: もしもとある物がリストラしなくてまたそれは出向しないとすれば「適応しない」ということは成り立つ fact4: 「「「人事決定でないがしかし青臭い」ということは正しい」ということは嘘である」物があるならその有価証券運用損益は多元化する fact5: もし「なんらかの物は多元化するがそれは程良くない」ということは偽であるとすればそれは多元化しない fact6: あの第一回大会は適応する fact7: 仮に何かは献納するとすればそれがリストラしないしさらに出向しない fact8: 「あの百年後は多元化する」ということは本当だ fact9: 「あの第一回大会は人事決定であるし青臭い」ということは間違いだ fact10: 何かは言語地図だ
fact2 & fact6 -> int1: 「あの第一回大会は人事決定でない一方で青臭い」ということは誤りだ; int1 -> int2: 「「人事決定でないしそれに青臭い」ということは誤りである」ものはある; int2 & fact4 -> hypothesis;
「その有価証券運用損益は多元化しない」ということは正しい
fact14 -> int3: もし仮に「その有価証券運用損益は多元化するが程良くない」ということは嘘であるとしたらそれは多元化しない; fact11 -> int4: もしその有価証券運用損益は適応しないとしたら「それは多元化するがしかし程良くない」ということは嘘だ; fact13 -> int5: もし仮にその有価証券運用損益がリストラしないしかつ出向しないとすると適応しない; fact15 -> int6: その有価証券運用損益が献納するとしたらそれはリストラしなくておまけに出向するということはない;
$facts$ = fact1: もしも何らかのものは適応しないとすれば「「それは多元化するけど程良くない」ということは本当だ」ということは成り立たない fact2: もし仮にあの第一回大会は適応するなら「人事決定でないが青臭い」ということは成り立たない fact3: もしもとある物がリストラしなくてまたそれは出向しないとすれば「適応しない」ということは成り立つ fact4: 「「「人事決定でないがしかし青臭い」ということは正しい」ということは嘘である」物があるならその有価証券運用損益は多元化する fact5: もし「なんらかの物は多元化するがそれは程良くない」ということは偽であるとすればそれは多元化しない fact6: あの第一回大会は適応する fact7: 仮に何かは献納するとすればそれがリストラしないしさらに出向しない fact8: 「あの百年後は多元化する」ということは本当だ fact9: 「あの第一回大会は人事決定であるし青臭い」ということは間違いだ fact10: 何かは言語地図だ ; $hypothesis$ = 「その有価証券運用損益は多元化しない」ということは真実である ; $proof$ = 
fact2 & fact6 -> int1: 「あの第一回大会は人事決定でない一方で青臭い」ということは誤りだ; int1 -> int2: 「「人事決定でないしそれに青臭い」ということは誤りである」ものはある; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: もしも何らかのものは適応しないとすれば「「それは多元化するけど程良くない」ということは本当だ」ということは成り立たない
事実2: もし仮にあの第一回大会は適応するなら「人事決定でないが青臭い」ということは成り立たない
事実3: もしもとある物がリストラしなくてまたそれは出向しないとすれば「適応しない」ということは成り立つ
事実4: 「「「人事決定でないがしかし青臭い」ということは正しい」ということは嘘である」物があるならその有価証券運用損益は多元化する
事実5: もし「なんらかの物は多元化するがそれは程良くない」ということは偽であるとすればそれは多元化しない
事実6: あの第一回大会は適応する
事実7: 仮に何かは献納するとすればそれがリストラしないしさらに出向しない
事実8: 「あの百年後は多元化する」ということは本当だ
事実9: 「あの第一回大会は人事決定であるし青臭い」ということは間違いだ
事実10: 何かは言語地図だ

仮説: 「その有価証券運用損益は多元化しない」ということは真実である
1. 事実2と事実6から、推論1: "「あの第一回大会は人事決定でない一方で青臭い」ということは誤りだ"が導かれる
2. 推論1から、推論2: "「「人事決定でないしそれに青臭い」ということは誤りである」ものはある"が導かれる
3. 推論2と事実4から、仮説が否定される

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