もしもこの弥生時代が縁戚だとしたらこの修辞は再戦でない一方で擦れ合う
fact1: 仮にこの弥生時代が敗北感であるとしたらこの修辞は再戦でない fact2: もしこの弥生時代が再戦であるかあるいは擦れ合うかもしくは両方だとすればあの修辞は縁戚でない fact3: この修辞は推奨するしＦＩＬＡだ fact4: この修辞は擦れ合うし更に貿易監督官だ fact5: この修辞は貿易監督官である fact6: もし仮にこの修辞が縁戚であるかもしくは再戦であるとしたらこの弥生時代は貿易監督官でない fact7: この修辞はすごーいかあるいはそれは引き起こすか両方ともだ fact8: この弥生時代は敗北感でない一方で擦れ合う fact9: その自主アニメーション作家は都市イメージでないがしかし再戦である fact10: もし仮にこの弥生時代が縁戚であるかまたは敗北感であるかもしくは両方ともであるとすればこの修辞は再戦でない fact11: もしもこの修辞が再戦だとすればこの弥生時代は再戦である
void -> assump1: 以下のように仮定する。この弥生時代は縁戚だ; assump1 -> int1: この弥生時代は縁戚であるかまたは敗北感であるか両方ともだ; int1 & fact10 -> int2: この修辞は再戦でない; fact4 -> int3: この修辞は擦れ合う; int2 & int3 -> int4: この修辞は再戦でないけれど擦れ合う; [assump1] & int4 -> hypothesis;
この弥生時代は再戦である
$facts$ = fact1: 仮にこの弥生時代が敗北感であるとしたらこの修辞は再戦でない fact2: もしこの弥生時代が再戦であるかあるいは擦れ合うかもしくは両方だとすればあの修辞は縁戚でない fact3: この修辞は推奨するしＦＩＬＡだ fact4: この修辞は擦れ合うし更に貿易監督官だ fact5: この修辞は貿易監督官である fact6: もし仮にこの修辞が縁戚であるかもしくは再戦であるとしたらこの弥生時代は貿易監督官でない fact7: この修辞はすごーいかあるいはそれは引き起こすか両方ともだ fact8: この弥生時代は敗北感でない一方で擦れ合う fact9: その自主アニメーション作家は都市イメージでないがしかし再戦である fact10: もし仮にこの弥生時代が縁戚であるかまたは敗北感であるかもしくは両方ともであるとすればこの修辞は再戦でない fact11: もしもこの修辞が再戦だとすればこの弥生時代は再戦である ; $hypothesis$ = もしもこの弥生時代が縁戚だとしたらこの修辞は再戦でない一方で擦れ合う ; $proof$ = 
void -> assump1: 以下のように仮定する。この弥生時代は縁戚だ; assump1 -> int1: この弥生時代は縁戚であるかまたは敗北感であるか両方ともだ; int1 & fact10 -> int2: この修辞は再戦でない; fact4 -> int3: この修辞は擦れ合う; int2 & int3 -> int4: この修辞は再戦でないけれど擦れ合う; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 仮にこの弥生時代が敗北感であるとしたらこの修辞は再戦でない
事実2: もしこの弥生時代が再戦であるかあるいは擦れ合うかもしくは両方だとすればあの修辞は縁戚でない
事実3: この修辞は推奨するしＦＩＬＡだ
事実4: この修辞は擦れ合うし更に貿易監督官だ
事実5: この修辞は貿易監督官である
事実6: もし仮にこの修辞が縁戚であるかもしくは再戦であるとしたらこの弥生時代は貿易監督官でない
事実7: この修辞はすごーいかあるいはそれは引き起こすか両方ともだ
事実8: この弥生時代は敗北感でない一方で擦れ合う
事実9: その自主アニメーション作家は都市イメージでないがしかし再戦である
事実10: もし仮にこの弥生時代が縁戚であるかまたは敗北感であるかもしくは両方ともであるとすればこの修辞は再戦でない
事実11: もしもこの修辞が再戦だとすればこの弥生時代は再戦である

仮説: もしもこの弥生時代が縁戚だとしたらこの修辞は再戦でない一方で擦れ合う
1. 仮定1: 以下のように仮定する。この弥生時代は縁戚だ
2. 仮定1から、推論1: "この弥生時代は縁戚であるかまたは敗北感であるか両方ともだ"が導かれる
3. 推論1と事実10から、推論2: "この修辞は再戦でない"が導かれる
4. 事実4から、推論3: "この修辞は擦れ合う"が導かれる
5. 推論2と推論3から、推論4: "この修辞は再戦でないけれど擦れ合う"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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