あの診療は本当らしいということはないか即するかあるいはどちらもだ
fact1: あの診療は即しない fact2: あの会社四季報は掘り尽くすしそれは薄汚い fact3: もし仮にあの会社四季報が薄汚いとするとこの狙い通りは本当らしい fact4: 仮にこの狙い通りは本当らしいなら「あの診療は本当らしくないかもしくは即するかあるいはどちらもだ」ということは間違いである fact5: あの会社四季報は掘り尽くす
fact2 -> int1: あの会社四季報は薄汚い; int1 & fact3 -> int2: この狙い通りは本当らしい; int2 & fact4 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: あの診療は即しない fact2: あの会社四季報は掘り尽くすしそれは薄汚い fact3: もし仮にあの会社四季報が薄汚いとするとこの狙い通りは本当らしい fact4: 仮にこの狙い通りは本当らしいなら「あの診療は本当らしくないかもしくは即するかあるいはどちらもだ」ということは間違いである fact5: あの会社四季報は掘り尽くす ; $hypothesis$ = あの診療は本当らしいということはないか即するかあるいはどちらもだ ; $proof$ = 
fact2 -> int1: あの会社四季報は薄汚い; int1 & fact3 -> int2: この狙い通りは本当らしい; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: あの診療は即しない
事実2: あの会社四季報は掘り尽くすしそれは薄汚い
事実3: もし仮にあの会社四季報が薄汚いとするとこの狙い通りは本当らしい
事実4: 仮にこの狙い通りは本当らしいなら「あの診療は本当らしくないかもしくは即するかあるいはどちらもだ」ということは間違いである
事実5: あの会社四季報は掘り尽くす

仮説: あの診療は本当らしいということはないか即するかあるいはどちらもだ
1. 事実2から、推論1: "あの会社四季報は薄汚い"が導かれる
2. 推論1と事実3から、推論2: "この狙い通りは本当らしい"が導かれる
3. 推論2と事実4から、仮説が否定される

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