あの小右記は御稽古する
fact1: もし「何らかのものは御稽古するし散開する」ということは嘘であるとすれば「御稽古しない」ということは正しい fact2: もし「「この依頼人は注入間隔でないがしかし見境無い」ということは成り立つということはない」ということは間違っていないとすれば「それはＲＮＡウイルスである」ということは成り立つ fact3: この依頼人がＲＮＡウイルスならあの小右記は御稽古する fact4: この依頼人は散開しない fact5: もし仮にこの依頼人は散開しないとしたら「それは注入間隔でないが見境無い」ということは嘘だ
fact5 & fact4 -> int1: 「この依頼人は注入間隔であるということはないが見境無い」ということは誤っている; int1 & fact2 -> int2: この依頼人はＲＮＡウイルスだ; int2 & fact3 -> hypothesis;
あの小右記は御稽古しない
fact6 -> int3: 「あの小右記は御稽古するしまた散開する」ということは成り立たないなら「御稽古しない」ということは成り立つ;
$facts$ = fact1: もし「何らかのものは御稽古するし散開する」ということは嘘であるとすれば「御稽古しない」ということは正しい fact2: もし「「この依頼人は注入間隔でないがしかし見境無い」ということは成り立つということはない」ということは間違っていないとすれば「それはＲＮＡウイルスである」ということは成り立つ fact3: この依頼人がＲＮＡウイルスならあの小右記は御稽古する fact4: この依頼人は散開しない fact5: もし仮にこの依頼人は散開しないとしたら「それは注入間隔でないが見境無い」ということは嘘だ ; $hypothesis$ = あの小右記は御稽古する ; $proof$ = 
fact5 & fact4 -> int1: 「この依頼人は注入間隔であるということはないが見境無い」ということは誤っている; int1 & fact2 -> int2: この依頼人はＲＮＡウイルスだ; int2 & fact3 -> hypothesis; __PROVED__
事実1: もし「何らかのものは御稽古するし散開する」ということは嘘であるとすれば「御稽古しない」ということは正しい
事実2: もし「「この依頼人は注入間隔でないがしかし見境無い」ということは成り立つということはない」ということは間違っていないとすれば「それはＲＮＡウイルスである」ということは成り立つ
事実3: この依頼人がＲＮＡウイルスならあの小右記は御稽古する
事実4: この依頼人は散開しない
事実5: もし仮にこの依頼人は散開しないとしたら「それは注入間隔でないが見境無い」ということは嘘だ

仮説: あの小右記は御稽古する
1. 事実5と事実4から、推論1: "「この依頼人は注入間隔であるということはないが見境無い」ということは誤っている"が導かれる
2. 推論1と事実2から、推論2: "この依頼人はＲＮＡウイルスだ"が導かれる
3. 推論2と事実3から、仮説が導かれる

よって、仮説が証明されました。