あの俗楽は遅れ始めないかあるいは新車種であるかもしくは両方ともだ
fact1: あの俗楽は切り易くなくておまけに埃っぽくない fact2: あの俗楽がインパール作戦でないとするとこのＥＩＪが新車種だし遅れ始める fact3: あの俗楽は騒々しい fact4: もしあの俗楽は切り易くなくて更に埃っぽいということはないとしたらインパール作戦である fact5: もし仮にあの俗楽がインパール作戦であるしまた遅れ始めるならそれは騒々しいということはない
fact4 & fact1 -> int1: あの俗楽はインパール作戦である; void -> assump1: 以下のように仮定する。「あの俗楽は遅れ始める」ということは成り立つ; int1 & assump1 -> int2: あの俗楽はインパール作戦でまた遅れ始める; int2 & fact5 -> int3: あの俗楽は騒々しいということはない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの俗楽は遅れ始めるということはない; int5 -> hypothesis;
このＥＩＪは新車種である
$facts$ = fact1: あの俗楽は切り易くなくておまけに埃っぽくない fact2: あの俗楽がインパール作戦でないとするとこのＥＩＪが新車種だし遅れ始める fact3: あの俗楽は騒々しい fact4: もしあの俗楽は切り易くなくて更に埃っぽいということはないとしたらインパール作戦である fact5: もし仮にあの俗楽がインパール作戦であるしまた遅れ始めるならそれは騒々しいということはない ; $hypothesis$ = あの俗楽は遅れ始めないかあるいは新車種であるかもしくは両方ともだ ; $proof$ = 
fact4 & fact1 -> int1: あの俗楽はインパール作戦である; void -> assump1: 以下のように仮定する。「あの俗楽は遅れ始める」ということは成り立つ; int1 & assump1 -> int2: あの俗楽はインパール作戦でまた遅れ始める; int2 & fact5 -> int3: あの俗楽は騒々しいということはない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの俗楽は遅れ始めるということはない; int5 -> hypothesis; __PROVED__
事実1: あの俗楽は切り易くなくておまけに埃っぽくない
事実2: あの俗楽がインパール作戦でないとするとこのＥＩＪが新車種だし遅れ始める
事実3: あの俗楽は騒々しい
事実4: もしあの俗楽は切り易くなくて更に埃っぽいということはないとしたらインパール作戦である
事実5: もし仮にあの俗楽がインパール作戦であるしまた遅れ始めるならそれは騒々しいということはない

仮説: あの俗楽は遅れ始めないかあるいは新車種であるかもしくは両方ともだ
1. 事実4と事実1から、推論1: "あの俗楽はインパール作戦である"が導かれる
2. 仮定1: 以下のように仮定する。「あの俗楽は遅れ始める」ということは成り立つ
3. 推論1と仮定1から、推論2: "あの俗楽はインパール作戦でまた遅れ始める"が導かれる
4. 推論2と事実5から、推論3: "あの俗楽は騒々しいということはない"が導かれる
5. 推論3と事実3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの俗楽は遅れ始めるということはない"が導かれる
7. 推論5から、仮説が導かれる

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