「何らかのものは審理であるかまたはそれは核恒星系統一機構である」ということは真実でない
fact1: あの実行犯は審理であるかまたは抗し難い fact2: あの日露戦争時は老いるか得られ難い fact3: あの日露戦争時は小社刊で審理だ fact4: そのサウジアラビア政府は小社刊だ fact5: なにかは審理であるかもしくは小社刊であるかあるいはどちらもである fact6: あの日露戦争時は小社刊だ fact7: その支配介入は核恒星系統一機構であるかあるいは書き易いかもしくはどちらもだ fact8: あの日露戦争時は核恒星系統一機構であるかあるいはそれは留める fact9: あの日露戦争時はオリンピックであるかまたは核恒星系統一機構である
fact3 -> int1: あの日露戦争時は審理だ; int1 -> int2: あの日露戦争時は審理であるかあるいはそれは核恒星系統一機構である; int2 -> hypothesis;
$facts$ = fact1: あの実行犯は審理であるかまたは抗し難い fact2: あの日露戦争時は老いるか得られ難い fact3: あの日露戦争時は小社刊で審理だ fact4: そのサウジアラビア政府は小社刊だ fact5: なにかは審理であるかもしくは小社刊であるかあるいはどちらもである fact6: あの日露戦争時は小社刊だ fact7: その支配介入は核恒星系統一機構であるかあるいは書き易いかもしくはどちらもだ fact8: あの日露戦争時は核恒星系統一機構であるかあるいはそれは留める fact9: あの日露戦争時はオリンピックであるかまたは核恒星系統一機構である ; $hypothesis$ = 「何らかのものは審理であるかまたはそれは核恒星系統一機構である」ということは真実でない ; $proof$ = 
fact3 -> int1: あの日露戦争時は審理だ; int1 -> int2: あの日露戦争時は審理であるかあるいはそれは核恒星系統一機構である; int2 -> hypothesis; __DISPROVED__
事実1: あの実行犯は審理であるかまたは抗し難い
事実2: あの日露戦争時は老いるか得られ難い
事実3: あの日露戦争時は小社刊で審理だ
事実4: そのサウジアラビア政府は小社刊だ
事実5: なにかは審理であるかもしくは小社刊であるかあるいはどちらもである
事実6: あの日露戦争時は小社刊だ
事実7: その支配介入は核恒星系統一機構であるかあるいは書き易いかもしくはどちらもだ
事実8: あの日露戦争時は核恒星系統一機構であるかあるいはそれは留める
事実9: あの日露戦争時はオリンピックであるかまたは核恒星系統一機構である

仮説: 「何らかのものは審理であるかまたはそれは核恒星系統一機構である」ということは真実でない
1. 事実3から、推論1: "あの日露戦争時は審理だ"が導かれる
2. 推論1から、推論2: "あの日露戦争時は審理であるかあるいはそれは核恒星系統一機構である"が導かれる
3. 推論2から、仮説が否定される

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