この排卵はアウト‐アンド‐アウトだ
fact1: あるものが物質化するしまた歩行するとするとこのＥＣはアウト‐アンド‐アウトだ fact2: 「この排卵は物質化するかまたは一掴みであるかもしくはどちらもだ」ということは誤りだとするとアウト‐アンド‐アウトでない fact3: 仮に何らかのものが物質化しない一方で生臭いとするとこのＥＣは歩行する fact4: もしも「物質化する」ものがあるとしたらこの排卵はアウト‐アンド‐アウトでないがしかし歩行する fact5: 「一掴みである」物はある fact6: もしこのＥＣが歩行すればこの排卵はアウト‐アンド‐アウトだ fact7: もし仮に「一掴みな」ものがあるとしたらこの軍事大国は物質化しないが生臭い
fact5 & fact7 -> int1: この軍事大国は物質化しない一方で生臭い; int1 -> int2: 何らかのものは物質化しないがしかし生臭い; int2 & fact3 -> int3: 「このＥＣは歩行する」ということは真実だ; int3 & fact6 -> hypothesis;
この排卵はアウト‐アンド‐アウトでない
$facts$ = fact1: あるものが物質化するしまた歩行するとするとこのＥＣはアウト‐アンド‐アウトだ fact2: 「この排卵は物質化するかまたは一掴みであるかもしくはどちらもだ」ということは誤りだとするとアウト‐アンド‐アウトでない fact3: 仮に何らかのものが物質化しない一方で生臭いとするとこのＥＣは歩行する fact4: もしも「物質化する」ものがあるとしたらこの排卵はアウト‐アンド‐アウトでないがしかし歩行する fact5: 「一掴みである」物はある fact6: もしこのＥＣが歩行すればこの排卵はアウト‐アンド‐アウトだ fact7: もし仮に「一掴みな」ものがあるとしたらこの軍事大国は物質化しないが生臭い ; $hypothesis$ = この排卵はアウト‐アンド‐アウトだ ; $proof$ = 
fact5 & fact7 -> int1: この軍事大国は物質化しない一方で生臭い; int1 -> int2: 何らかのものは物質化しないがしかし生臭い; int2 & fact3 -> int3: 「このＥＣは歩行する」ということは真実だ; int3 & fact6 -> hypothesis; __PROVED__
事実1: あるものが物質化するしまた歩行するとするとこのＥＣはアウト‐アンド‐アウトだ
事実2: 「この排卵は物質化するかまたは一掴みであるかもしくはどちらもだ」ということは誤りだとするとアウト‐アンド‐アウトでない
事実3: 仮に何らかのものが物質化しない一方で生臭いとするとこのＥＣは歩行する
事実4: もしも「物質化する」ものがあるとしたらこの排卵はアウト‐アンド‐アウトでないがしかし歩行する
事実5: 「一掴みである」物はある
事実6: もしこのＥＣが歩行すればこの排卵はアウト‐アンド‐アウトだ
事実7: もし仮に「一掴みな」ものがあるとしたらこの軍事大国は物質化しないが生臭い

仮説: この排卵はアウト‐アンド‐アウトだ
1. 事実5と事実7から、推論1: "この軍事大国は物質化しない一方で生臭い"が導かれる
2. 推論1から、推論2: "何らかのものは物質化しないがしかし生臭い"が導かれる
3. 推論2と事実3から、推論3: "「このＥＣは歩行する」ということは真実だ"が導かれる
4. 推論3と事実6から、仮説が導かれる

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