あの強オピオイド鎮痛薬はＣプラスであるがしかし悔しくない
fact1: 好ましいということはないし有るらしい物はある fact2: 仮に何らかの物が好ましくないけれど有るらしいならばこの日露戦争時は例外的存在でない fact3: もしその三線がＣプラスであるとするとあの強オピオイド鎮痛薬はＣプラスだ fact4: 「その撥状指はめんど臭いということはない」ということは本当である fact5: もしもその撥状指がめんど臭くないならその三線は有るらしいしそれにそれはＣプラスだ fact6: 「悔しくない一方で例外的存在である」ものはある fact7: もし仮にこの日露戦争時が例外的存在でないとすればそのシキリア人はＣプラスでない fact8: もしそのシキリア人はＣプラスでないとすれば「あの強オピオイド鎮痛薬はＣプラスだがしかし悔しくない」ということは事実と異なる
fact1 & fact2 -> int1: この日露戦争時は例外的存在でない; int1 & fact7 -> int2: そのシキリア人はＣプラスでない; int2 & fact8 -> hypothesis;
あの強オピオイド鎮痛薬はＣプラスだけれど悔しくない
fact11 & fact9 -> int3: その三線は有るらしいしさらにＣプラスである; int3 -> int4: その三線はＣプラスだ; fact10 & int4 -> int5: 「あの強オピオイド鎮痛薬はＣプラスである」ということは正しい;
$facts$ = fact1: 好ましいということはないし有るらしい物はある fact2: 仮に何らかの物が好ましくないけれど有るらしいならばこの日露戦争時は例外的存在でない fact3: もしその三線がＣプラスであるとするとあの強オピオイド鎮痛薬はＣプラスだ fact4: 「その撥状指はめんど臭いということはない」ということは本当である fact5: もしもその撥状指がめんど臭くないならその三線は有るらしいしそれにそれはＣプラスだ fact6: 「悔しくない一方で例外的存在である」ものはある fact7: もし仮にこの日露戦争時が例外的存在でないとすればそのシキリア人はＣプラスでない fact8: もしそのシキリア人はＣプラスでないとすれば「あの強オピオイド鎮痛薬はＣプラスだがしかし悔しくない」ということは事実と異なる ; $hypothesis$ = あの強オピオイド鎮痛薬はＣプラスであるがしかし悔しくない ; $proof$ = 
fact1 & fact2 -> int1: この日露戦争時は例外的存在でない; int1 & fact7 -> int2: そのシキリア人はＣプラスでない; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: 好ましいということはないし有るらしい物はある
事実2: 仮に何らかの物が好ましくないけれど有るらしいならばこの日露戦争時は例外的存在でない
事実3: もしその三線がＣプラスであるとするとあの強オピオイド鎮痛薬はＣプラスだ
事実4: 「その撥状指はめんど臭いということはない」ということは本当である
事実5: もしもその撥状指がめんど臭くないならその三線は有るらしいしそれにそれはＣプラスだ
事実6: 「悔しくない一方で例外的存在である」ものはある
事実7: もし仮にこの日露戦争時が例外的存在でないとすればそのシキリア人はＣプラスでない
事実8: もしそのシキリア人はＣプラスでないとすれば「あの強オピオイド鎮痛薬はＣプラスだがしかし悔しくない」ということは事実と異なる

仮説: あの強オピオイド鎮痛薬はＣプラスであるがしかし悔しくない
1. 事実1と事実2から、推論1: "この日露戦争時は例外的存在でない"が導かれる
2. 推論1と事実7から、推論2: "そのシキリア人はＣプラスでない"が導かれる
3. 推論2と事実8から、仮説が否定される

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