あの調剤報酬は石窟であるということはないか吸水するかまたはどちらもである
fact1: 「あの調剤報酬は弱し」ということは成り立てば「それは石窟でないかもしくはそれは吸水する」ということは確かでない fact2: 仮にあの調剤報酬は弱しならば「吸水しない」ということは成り立つ fact3: 「あの調剤報酬は真新しいということはないしそれはフロックだということはない」ということは成り立たない fact4: もしも「「なんらかの物は真新しくないしフロックでない」ということは間違いでない」ということは間違っていれば「それは弱しない」ということは成り立たない fact5: 弱しない物は石窟であるということはないかもしくは吸水するかどちらもである
fact4 -> int1: もし仮に「あの調剤報酬は真新しくなくてそれにそれはフロックだということはない」ということは誤りであるとすると弱し; int1 & fact3 -> int2: あの調剤報酬は弱し; int2 & fact1 -> hypothesis;
あの調剤報酬は石窟でないかまたはそれは吸水する
fact6 -> int3: もしもあの調剤報酬が弱しないとすると石窟でないか吸水するかあるいは両方ともである;
$facts$ = fact1: 「あの調剤報酬は弱し」ということは成り立てば「それは石窟でないかもしくはそれは吸水する」ということは確かでない fact2: 仮にあの調剤報酬は弱しならば「吸水しない」ということは成り立つ fact3: 「あの調剤報酬は真新しいということはないしそれはフロックだということはない」ということは成り立たない fact4: もしも「「なんらかの物は真新しくないしフロックでない」ということは間違いでない」ということは間違っていれば「それは弱しない」ということは成り立たない fact5: 弱しない物は石窟であるということはないかもしくは吸水するかどちらもである ; $hypothesis$ = あの調剤報酬は石窟であるということはないか吸水するかまたはどちらもである ; $proof$ = 
fact4 -> int1: もし仮に「あの調剤報酬は真新しくなくてそれにそれはフロックだということはない」ということは誤りであるとすると弱し; int1 & fact3 -> int2: あの調剤報酬は弱し; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: 「あの調剤報酬は弱し」ということは成り立てば「それは石窟でないかもしくはそれは吸水する」ということは確かでない
事実2: 仮にあの調剤報酬は弱しならば「吸水しない」ということは成り立つ
事実3: 「あの調剤報酬は真新しいということはないしそれはフロックだということはない」ということは成り立たない
事実4: もしも「「なんらかの物は真新しくないしフロックでない」ということは間違いでない」ということは間違っていれば「それは弱しない」ということは成り立たない
事実5: 弱しない物は石窟であるということはないかもしくは吸水するかどちらもである

仮説: あの調剤報酬は石窟であるということはないか吸水するかまたはどちらもである
1. 事実4から、推論1: "もし仮に「あの調剤報酬は真新しくなくてそれにそれはフロックだということはない」ということは誤りであるとすると弱し"が導かれる
2. 推論1と事実3から、推論2: "あの調剤報酬は弱し"が導かれる
3. 推論2と事実1から、仮説が否定される

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