「この逆賊は年賀状作成ソフトでなくてかつ沈旦堡でない」ということは成り立たない
fact1: 仮に「その年秋は駐留である」ということは成り立つとすれば「あの四時過ぎは関与する」ということは成り立つ fact2: もし何かは駐留でないとすると年賀状作成ソフトでないしさらに沈旦堡でない fact3: 「その年秋は駐留である」ということは成り立つ fact4: もし仮になんらかのものが関与すればそれは説明し易い fact5: もしあの四時過ぎは説明し易いとすれば「この逆賊は年賀状作成ソフトでなくてそれは沈旦堡だということはない」ということは成り立たない
fact1 & fact3 -> int1: あの四時過ぎは関与する; fact4 -> int2: もしもあの四時過ぎが関与するとしたらそれは説明し易い; int1 & int2 -> int3: あの四時過ぎは説明し易い; int3 & fact5 -> hypothesis;
fact1 & fact3 -> int1: {B}{b}; fact4 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> int3: {C}{b}; int3 & fact5 -> hypothesis;
この逆賊は年賀状作成ソフトだということはないし加えて沈旦堡でない
fact6 -> int4: この逆賊は駐留でないとするとそれは年賀状作成ソフトでないしまた沈旦堡だということはない;
$facts$ = fact1: 仮に「その年秋は駐留である」ということは成り立つとすれば「あの四時過ぎは関与する」ということは成り立つ fact2: もし何かは駐留でないとすると年賀状作成ソフトでないしさらに沈旦堡でない fact3: 「その年秋は駐留である」ということは成り立つ fact4: もし仮になんらかのものが関与すればそれは説明し易い fact5: もしあの四時過ぎは説明し易いとすれば「この逆賊は年賀状作成ソフトでなくてそれは沈旦堡だということはない」ということは成り立たない ; $hypothesis$ = 「この逆賊は年賀状作成ソフトでなくてかつ沈旦堡でない」ということは成り立たない ; $proof$ = 
fact1 & fact3 -> int1: あの四時過ぎは関与する; fact4 -> int2: もしもあの四時過ぎが関与するとしたらそれは説明し易い; int1 & int2 -> int3: あの四時過ぎは説明し易い; int3 & fact5 -> hypothesis; __PROVED__
事実1: 仮に「その年秋は駐留である」ということは成り立つとすれば「あの四時過ぎは関与する」ということは成り立つ
事実2: もし何かは駐留でないとすると年賀状作成ソフトでないしさらに沈旦堡でない
事実3: 「その年秋は駐留である」ということは成り立つ
事実4: もし仮になんらかのものが関与すればそれは説明し易い
事実5: もしあの四時過ぎは説明し易いとすれば「この逆賊は年賀状作成ソフトでなくてそれは沈旦堡だということはない」ということは成り立たない

仮説: 「この逆賊は年賀状作成ソフトでなくてかつ沈旦堡でない」ということは成り立たない
1. 事実1と事実3から、推論1: "あの四時過ぎは関与する"が導かれる
2. 事実4から、推論2: "もしもあの四時過ぎが関与するとしたらそれは説明し易い"が導かれる
3. 推論1と推論2から、推論3: "あの四時過ぎは説明し易い"が導かれる
4. 推論3と事実5から、仮説が導かれる

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