仮にこの不公正さがコラージュ技法でないが契約法だとするとその儀式用は青黒い
fact1: もし「「街路名であるかまたはぼろい」ということは事実である」ものがあるとするとその儀式用は青黒い fact2: 「その儀式用は確認し易い」ということは真実である fact3: この不公正さは忘れ難い fact4: このユーザー層は契約法でない fact5: 「この不公正さは文勢でない一方で利用番号だ」ということは本当だ fact6: もし仮にその儀式用が青黒いということはないがぼろいとするとこの不公正さは街路名である fact7: もし仮にこの不公正さは契約法だとしたら「ぼろい」ということは確かだ fact8: 仮にその儀式用が街路名でないけれど契約法であるとすればこの不公正さは青黒い fact9: もしも「街路名な」物があるならその儀式用は青黒い
void -> assump1: 以下のように仮定する。この不公正さはコラージュ技法でない一方で契約法である; assump1 -> int1: この不公正さは契約法である; int1 & fact7 -> int2: 「この不公正さはぼろい」ということは確かである; int2 -> int3: この不公正さは街路名であるかもしくはぼろいかもしくはどちらもである; int3 -> int4: 「街路名であるかまたはぼろいか両方である」ものはある; int4 & fact1 -> int5: その儀式用は青黒い; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もし「「街路名であるかまたはぼろい」ということは事実である」ものがあるとするとその儀式用は青黒い fact2: 「その儀式用は確認し易い」ということは真実である fact3: この不公正さは忘れ難い fact4: このユーザー層は契約法でない fact5: 「この不公正さは文勢でない一方で利用番号だ」ということは本当だ fact6: もし仮にその儀式用が青黒いということはないがぼろいとするとこの不公正さは街路名である fact7: もし仮にこの不公正さは契約法だとしたら「ぼろい」ということは確かだ fact8: 仮にその儀式用が街路名でないけれど契約法であるとすればこの不公正さは青黒い fact9: もしも「街路名な」物があるならその儀式用は青黒い ; $hypothesis$ = 仮にこの不公正さがコラージュ技法でないが契約法だとするとその儀式用は青黒い ; $proof$ = 
void -> assump1: 以下のように仮定する。この不公正さはコラージュ技法でない一方で契約法である; assump1 -> int1: この不公正さは契約法である; int1 & fact7 -> int2: 「この不公正さはぼろい」ということは確かである; int2 -> int3: この不公正さは街路名であるかもしくはぼろいかもしくはどちらもである; int3 -> int4: 「街路名であるかまたはぼろいか両方である」ものはある; int4 & fact1 -> int5: その儀式用は青黒い; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし「「街路名であるかまたはぼろい」ということは事実である」ものがあるとするとその儀式用は青黒い
事実2: 「その儀式用は確認し易い」ということは真実である
事実3: この不公正さは忘れ難い
事実4: このユーザー層は契約法でない
事実5: 「この不公正さは文勢でない一方で利用番号だ」ということは本当だ
事実6: もし仮にその儀式用が青黒いということはないがぼろいとするとこの不公正さは街路名である
事実7: もし仮にこの不公正さは契約法だとしたら「ぼろい」ということは確かだ
事実8: 仮にその儀式用が街路名でないけれど契約法であるとすればこの不公正さは青黒い
事実9: もしも「街路名な」物があるならその儀式用は青黒い

仮説: 仮にこの不公正さがコラージュ技法でないが契約法だとするとその儀式用は青黒い
1. 仮定1: 以下のように仮定する。この不公正さはコラージュ技法でない一方で契約法である
2. 仮定1から、推論1: "この不公正さは契約法である"が導かれる
3. 推論1と事実7から、推論2: "「この不公正さはぼろい」ということは確かである"が導かれる
4. 推論2から、推論3: "この不公正さは街路名であるかもしくはぼろいかもしくはどちらもである"が導かれる
5. 推論3から、推論4: "「街路名であるかまたはぼろいか両方である」ものはある"が導かれる
6. 推論4と事実1から、推論5: "その儀式用は青黒い"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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