あの堅はジャンキーである
fact1: もしあるものは実測するがしかしスエズ運河だということはないならそれは痛ーくない fact2: あの堅は痛ーい fact3: あの堅は疾駆する fact4: もしもなにがしかの物が痛ーくないとしたらそれはジャンキーであるし更に疾駆する fact5: ソ連崩壊後は実測する fact6: 「あの仲間は付着し易くないかまたはそれは竦める」ということは誤っている fact7: 「あの堅はソ連崩壊後だ」ということは確かである fact8: もしもなんらかのものは疾駆するし更に痛ーいとしたらジャンキーでない
fact3 & fact2 -> int1: あの堅は疾駆するしそれに痛ーい; fact8 -> int2: あの堅は疾駆するし更に痛ーいならそれはジャンキーでない; int1 & int2 -> hypothesis;
あの堅はジャンキーだ
fact11 -> int3: もし仮にあの堅が痛ーくないならばジャンキーであるし疾駆する; fact13 -> int4: あの堅が実測するがそれはスエズ運河でないならば痛ーくない; fact9 -> int5: あの堅はソ連崩壊後であるとしたらそれは実測する; int5 & fact12 -> int6: あの堅は実測する; fact10 -> int7: 「「付着し易くないかあるいは竦めるかあるいはどちらもだ」ということは事実と異なる」物はある;
$facts$ = fact1: もしあるものは実測するがしかしスエズ運河だということはないならそれは痛ーくない fact2: あの堅は痛ーい fact3: あの堅は疾駆する fact4: もしもなにがしかの物が痛ーくないとしたらそれはジャンキーであるし更に疾駆する fact5: ソ連崩壊後は実測する fact6: 「あの仲間は付着し易くないかまたはそれは竦める」ということは誤っている fact7: 「あの堅はソ連崩壊後だ」ということは確かである fact8: もしもなんらかのものは疾駆するし更に痛ーいとしたらジャンキーでない ; $hypothesis$ = あの堅はジャンキーである ; $proof$ = 
fact3 & fact2 -> int1: あの堅は疾駆するしそれに痛ーい; fact8 -> int2: あの堅は疾駆するし更に痛ーいならそれはジャンキーでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしあるものは実測するがしかしスエズ運河だということはないならそれは痛ーくない
事実2: あの堅は痛ーい
事実3: あの堅は疾駆する
事実4: もしもなにがしかの物が痛ーくないとしたらそれはジャンキーであるし更に疾駆する
事実5: ソ連崩壊後は実測する
事実6: 「あの仲間は付着し易くないかまたはそれは竦める」ということは誤っている
事実7: 「あの堅はソ連崩壊後だ」ということは確かである
事実8: もしもなんらかのものは疾駆するし更に痛ーいとしたらジャンキーでない

仮説: あの堅はジャンキーである
1. 事実3と事実2から、推論1: "あの堅は疾駆するしそれに痛ーい"が導かれる
2. 事実8から、推論2: "あの堅は疾駆するし更に痛ーいならそれはジャンキーでない"が導かれる
3. 推論1と推論2から、仮説が否定される

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