その生存闘争は消え行く
fact1: あの戦国自衛隊が売り始めるならばあのウラマーは流れる fact2: もし仮に何かは立ちはだかれば「消え行く」ということは本当である fact3: あのサンプル・システムが紛らわせるならばあの生存闘争は所狭くないけど立ちはだかる fact4: 仮にこのウラマーが規定すとしたらあのサンプル・システムは紛らわせる fact5: あの戦国自衛隊は流れない fact6: 仮にあの戦国自衛隊が流れないとするとこのウラマーは売り始めるかあるいはそれは規定すかどちらもである fact7: もし「このウラマーは売り始める」ということは事実だとするとあのサンプル・システムは紛らわせる
fact6 & fact5 -> int1: このウラマーは売り始めるかまたは規定すか両方だ; int1 & fact7 & fact4 -> int2: あのサンプル・システムは紛らわせる; int2 & fact3 -> int3: その生存闘争は所狭くないけれど立ちはだかる; int3 -> int4: 「その生存闘争は立ちはだかる」ということは成り立つ; fact2 -> int5: 仮にその生存闘争が立ちはだかるならそれは消え行く; int4 & int5 -> hypothesis;
$facts$ = fact1: あの戦国自衛隊が売り始めるならばあのウラマーは流れる fact2: もし仮に何かは立ちはだかれば「消え行く」ということは本当である fact3: あのサンプル・システムが紛らわせるならばあの生存闘争は所狭くないけど立ちはだかる fact4: 仮にこのウラマーが規定すとしたらあのサンプル・システムは紛らわせる fact5: あの戦国自衛隊は流れない fact6: 仮にあの戦国自衛隊が流れないとするとこのウラマーは売り始めるかあるいはそれは規定すかどちらもである fact7: もし「このウラマーは売り始める」ということは事実だとするとあのサンプル・システムは紛らわせる ; $hypothesis$ = その生存闘争は消え行く ; $proof$ = 
fact6 & fact5 -> int1: このウラマーは売り始めるかまたは規定すか両方だ; int1 & fact7 & fact4 -> int2: あのサンプル・システムは紛らわせる; int2 & fact3 -> int3: その生存闘争は所狭くないけれど立ちはだかる; int3 -> int4: 「その生存闘争は立ちはだかる」ということは成り立つ; fact2 -> int5: 仮にその生存闘争が立ちはだかるならそれは消え行く; int4 & int5 -> hypothesis; __PROVED__
事実1: あの戦国自衛隊が売り始めるならばあのウラマーは流れる
事実2: もし仮に何かは立ちはだかれば「消え行く」ということは本当である
事実3: あのサンプル・システムが紛らわせるならばあの生存闘争は所狭くないけど立ちはだかる
事実4: 仮にこのウラマーが規定すとしたらあのサンプル・システムは紛らわせる
事実5: あの戦国自衛隊は流れない
事実6: 仮にあの戦国自衛隊が流れないとするとこのウラマーは売り始めるかあるいはそれは規定すかどちらもである
事実7: もし「このウラマーは売り始める」ということは事実だとするとあのサンプル・システムは紛らわせる

仮説: その生存闘争は消え行く
1. 事実6と事実5から、推論1: "このウラマーは売り始めるかまたは規定すか両方だ"が導かれる
2. 推論1と事実7と事実4から、推論2: "あのサンプル・システムは紛らわせる"が導かれる
3. 推論2と事実3から、推論3: "その生存闘争は所狭くないけれど立ちはだかる"が導かれる
4. 推論3から、推論4: "「その生存闘争は立ちはだかる」ということは成り立つ"が導かれる
5. 事実2から、推論5: "仮にその生存闘争が立ちはだかるならそれは消え行く"が導かれる
6. 推論4と推論5から、仮説が導かれる

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