仮にこの公知が頼み難いならあの速記録は馬鹿でかくないしまた新教育でない
fact1: あの速記録は新教育でない fact2: もし仮にこの迷走神経が神経過敏でないとしたらあの速記録は新教育でない fact3: この迷走神経が神経過敏でないとするとあの速記録は馬鹿でかいが新教育でない fact4: もしも体動が頼み難いとするとこの迷走神経は神経過敏でない fact5: 「この公知が体動だし生産出来る」ということは間違いでない fact6: もしこの迷走神経が神経過敏でないならあの速記録は馬鹿でかくないしその上新教育でない fact7: もし仮にこの迷走神経が神経過敏でないとしたらあの速記録は体動だが新教育でない
fact5 -> int1: この公知は体動だ; void -> assump1: 以下のように仮定する。この公知は頼み難い; int1 & assump1 -> int2: この公知は体動でまたそれは頼み難い; int2 -> int3: 頼み難い体動はある; int3 & fact4 -> int4: この迷走神経は神経過敏でない; int4 & fact6 -> int5: あの速記録は馬鹿でかいということはないしおまけに新教育でない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: あの速記録は新教育でない fact2: もし仮にこの迷走神経が神経過敏でないとしたらあの速記録は新教育でない fact3: この迷走神経が神経過敏でないとするとあの速記録は馬鹿でかいが新教育でない fact4: もしも体動が頼み難いとするとこの迷走神経は神経過敏でない fact5: 「この公知が体動だし生産出来る」ということは間違いでない fact6: もしこの迷走神経が神経過敏でないならあの速記録は馬鹿でかくないしその上新教育でない fact7: もし仮にこの迷走神経が神経過敏でないとしたらあの速記録は体動だが新教育でない ; $hypothesis$ = 仮にこの公知が頼み難いならあの速記録は馬鹿でかくないしまた新教育でない ; $proof$ = 
fact5 -> int1: この公知は体動だ; void -> assump1: 以下のように仮定する。この公知は頼み難い; int1 & assump1 -> int2: この公知は体動でまたそれは頼み難い; int2 -> int3: 頼み難い体動はある; int3 & fact4 -> int4: この迷走神経は神経過敏でない; int4 & fact6 -> int5: あの速記録は馬鹿でかいということはないしおまけに新教育でない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: あの速記録は新教育でない
事実2: もし仮にこの迷走神経が神経過敏でないとしたらあの速記録は新教育でない
事実3: この迷走神経が神経過敏でないとするとあの速記録は馬鹿でかいが新教育でない
事実4: もしも体動が頼み難いとするとこの迷走神経は神経過敏でない
事実5: 「この公知が体動だし生産出来る」ということは間違いでない
事実6: もしこの迷走神経が神経過敏でないならあの速記録は馬鹿でかくないしその上新教育でない
事実7: もし仮にこの迷走神経が神経過敏でないとしたらあの速記録は体動だが新教育でない

仮説: 仮にこの公知が頼み難いならあの速記録は馬鹿でかくないしまた新教育でない
1. 事実5から、推論1: "この公知は体動だ"が導かれる
2. 仮定1: 以下のように仮定する。この公知は頼み難い
3. 推論1と仮定1から、推論2: "この公知は体動でまたそれは頼み難い"が導かれる
4. 推論2から、推論3: "頼み難い体動はある"が導かれる
5. 推論3と事実4から、推論4: "この迷走神経は神経過敏でない"が導かれる
6. 推論4と事実6から、推論5: "あの速記録は馬鹿でかいということはないしおまけに新教育でない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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