あの反応時間は甚だし
fact1: この生活共同体は浸けない fact2: その座面は分離すらない fact3: 「もしもその座面が分離すらないならばその座面はコレラ菌だ」ということは真実だ fact4: もし仮にその座面が分離すらないならそれはコレラ菌であるしおまけに浸ける fact5: その座面はコレラ菌だ fact6: あのクリック音は分離すらない fact7: もしその座面はコレラ菌で浸けるなら「この生活共同体は末恐ろしくない」ということは成り立つ fact8: もしもこの生活共同体が末恐ろしくないとしたらあの反応時間は甚だしない
fact4 & fact2 -> int1: その座面はコレラ菌で浸ける; int1 & fact7 -> int2: この生活共同体は末恐ろしくない; int2 & fact8 -> hypothesis;
$facts$ = fact1: この生活共同体は浸けない fact2: その座面は分離すらない fact3: 「もしもその座面が分離すらないならばその座面はコレラ菌だ」ということは真実だ fact4: もし仮にその座面が分離すらないならそれはコレラ菌であるしおまけに浸ける fact5: その座面はコレラ菌だ fact6: あのクリック音は分離すらない fact7: もしその座面はコレラ菌で浸けるなら「この生活共同体は末恐ろしくない」ということは成り立つ fact8: もしもこの生活共同体が末恐ろしくないとしたらあの反応時間は甚だしない ; $hypothesis$ = あの反応時間は甚だし ; $proof$ = 
fact4 & fact2 -> int1: その座面はコレラ菌で浸ける; int1 & fact7 -> int2: この生活共同体は末恐ろしくない; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: この生活共同体は浸けない
事実2: その座面は分離すらない
事実3: 「もしもその座面が分離すらないならばその座面はコレラ菌だ」ということは真実だ
事実4: もし仮にその座面が分離すらないならそれはコレラ菌であるしおまけに浸ける
事実5: その座面はコレラ菌だ
事実6: あのクリック音は分離すらない
事実7: もしその座面はコレラ菌で浸けるなら「この生活共同体は末恐ろしくない」ということは成り立つ
事実8: もしもこの生活共同体が末恐ろしくないとしたらあの反応時間は甚だしない

仮説: あの反応時間は甚だし
1. 事実4と事実2から、推論1: "その座面はコレラ菌で浸ける"が導かれる
2. 推論1と事実7から、推論2: "この生活共同体は末恐ろしくない"が導かれる
3. 推論2と事実8から、仮説が否定される

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