「この中継地的位置は甚だしくない」ということは本当だ
fact1: 仮にこのプロソディーが用心深いとするとこの中継地的位置は研究領域だ fact2: 仮にこのプロソディーが組織目標であるならばあの中継地的位置は研究領域だ fact3: このプロソディーは研究領域でないとすると「この中継地的位置は用心深くない一方でそれは組織目標である」ということは間違っている fact4: もしも何かは研究領域であるとするとそれは甚だしい fact5: もし「なんらかのものは用心深いということはないけど組織目標である」ということは間違っているなら「それは甚だしくない」ということは本当である fact6: このプロソディーは組織目標であるかまたは用心深い
fact6 & fact2 & fact1 -> int1: この中継地的位置は研究領域だ; fact4 -> int2: 仮にこの中継地的位置は研究領域であるならば甚だしい; int1 & int2 -> hypothesis;
fact6 & fact2 & fact1 -> int1: {C}{c}; fact4 -> int2: {C}{c} -> {D}{c}; int1 & int2 -> hypothesis;
「この中継地的位置は甚だしくない」ということは成り立つ
fact7 -> int3: もしも「この中継地的位置は用心深くない一方で組織目標だ」ということは成り立たないとすると甚だしくない;
$facts$ = fact1: 仮にこのプロソディーが用心深いとするとこの中継地的位置は研究領域だ fact2: 仮にこのプロソディーが組織目標であるならばあの中継地的位置は研究領域だ fact3: このプロソディーは研究領域でないとすると「この中継地的位置は用心深くない一方でそれは組織目標である」ということは間違っている fact4: もしも何かは研究領域であるとするとそれは甚だしい fact5: もし「なんらかのものは用心深いということはないけど組織目標である」ということは間違っているなら「それは甚だしくない」ということは本当である fact6: このプロソディーは組織目標であるかまたは用心深い ; $hypothesis$ = 「この中継地的位置は甚だしくない」ということは本当だ ; $proof$ = 
fact6 & fact2 & fact1 -> int1: この中継地的位置は研究領域だ; fact4 -> int2: 仮にこの中継地的位置は研究領域であるならば甚だしい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にこのプロソディーが用心深いとするとこの中継地的位置は研究領域だ
事実2: 仮にこのプロソディーが組織目標であるならばあの中継地的位置は研究領域だ
事実3: このプロソディーは研究領域でないとすると「この中継地的位置は用心深くない一方でそれは組織目標である」ということは間違っている
事実4: もしも何かは研究領域であるとするとそれは甚だしい
事実5: もし「なんらかのものは用心深いということはないけど組織目標である」ということは間違っているなら「それは甚だしくない」ということは本当である
事実6: このプロソディーは組織目標であるかまたは用心深い

仮説: 「この中継地的位置は甚だしくない」ということは本当だ
1. 事実6と事実2と事実1から、推論1: "この中継地的位置は研究領域だ"が導かれる
2. 事実4から、推論2: "仮にこの中継地的位置は研究領域であるならば甚だしい"が導かれる
3. 推論1と推論2から、仮説が否定される

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