その子宮頸癌はおもろくない
fact1: その子宮頸癌は堪らない fact2: もしもその子宮頸癌は接合するとすると「それは堪るし更に言明しない」ということは間違っている fact3: その通信部門は四角いということはない一方でおもろい fact4: その子宮頸癌は堪らないがしかしそれはやんごとない fact5: もし仮に「なにがしかのものは言明するしかつ堪る」ということは誤りだとしたらそれは堪らない fact6: その子宮頸癌は堪らないけれどおもろい
fact6 -> hypothesis;
fact6 -> hypothesis;
その子宮頸癌はおもろくない
$facts$ = fact1: その子宮頸癌は堪らない fact2: もしもその子宮頸癌は接合するとすると「それは堪るし更に言明しない」ということは間違っている fact3: その通信部門は四角いということはない一方でおもろい fact4: その子宮頸癌は堪らないがしかしそれはやんごとない fact5: もし仮に「なにがしかのものは言明するしかつ堪る」ということは誤りだとしたらそれは堪らない fact6: その子宮頸癌は堪らないけれどおもろい ; $hypothesis$ = その子宮頸癌はおもろくない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: その子宮頸癌は堪らない
事実2: もしもその子宮頸癌は接合するとすると「それは堪るし更に言明しない」ということは間違っている
事実3: その通信部門は四角いということはない一方でおもろい
事実4: その子宮頸癌は堪らないがしかしそれはやんごとない
事実5: もし仮に「なにがしかのものは言明するしかつ堪る」ということは誤りだとしたらそれは堪らない
事実6: その子宮頸癌は堪らないけれどおもろい

仮説: その子宮頸癌はおもろくない
1. 事実6から、仮説が否定される

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