もし仮に「その帯紐は分かち難い」ということは真実であるならばその成金趣味は分離主義である
fact1: もしこの元軍が当つとすればその成金趣味は分離主義である fact2: 「この元軍は分かち難い」ということは本当である fact3: その決定要因は分かち難い fact4: もし仮になにかは抽象化しないとしたら分かち難くてそれにそれは理解し合わない fact5: もしもその決定要因が分離主義であるとしたらその成金趣味は理解し合う fact6: 仮にその帯紐が分かち難いとすればその決定要因は理解し合う fact7: もしもこの元軍が抽象化するとしたらそれは当つ fact8: もし仮にその帯紐が分離主義だとすれば分かち難い fact9: 仮にその成金趣味が抽象化するとすればこの元軍は分離主義である fact10: もし仮にこの元軍が分かち難いならばその帯紐は当つ fact11: もしもその帯紐が抽象化するとしたらこの元軍は分かち難い fact12: もし仮に「その決定要因は理解し合う」ということは真実ならばあの元軍は抽象化する fact13: もしもこの元軍が理解し合うとしたらその決定要因は当つ
void -> assump1: 以下のように仮定する。その帯紐は分かち難い; fact6 & assump1 -> int1: その決定要因は理解し合う; int1 & fact12 -> int2: この元軍は抽象化する; int2 & fact7 -> int3: この元軍は当つ; int3 & fact1 -> int4: その成金趣味は分離主義だ; [assump1] & int4 -> hypothesis;
この上級様は当つ
fact14 -> int5: もしもこの上級様が抽象化しないとすれば分かち難くて理解し合わない;
$facts$ = fact1: もしこの元軍が当つとすればその成金趣味は分離主義である fact2: 「この元軍は分かち難い」ということは本当である fact3: その決定要因は分かち難い fact4: もし仮になにかは抽象化しないとしたら分かち難くてそれにそれは理解し合わない fact5: もしもその決定要因が分離主義であるとしたらその成金趣味は理解し合う fact6: 仮にその帯紐が分かち難いとすればその決定要因は理解し合う fact7: もしもこの元軍が抽象化するとしたらそれは当つ fact8: もし仮にその帯紐が分離主義だとすれば分かち難い fact9: 仮にその成金趣味が抽象化するとすればこの元軍は分離主義である fact10: もし仮にこの元軍が分かち難いならばその帯紐は当つ fact11: もしもその帯紐が抽象化するとしたらこの元軍は分かち難い fact12: もし仮に「その決定要因は理解し合う」ということは真実ならばあの元軍は抽象化する fact13: もしもこの元軍が理解し合うとしたらその決定要因は当つ ; $hypothesis$ = もし仮に「その帯紐は分かち難い」ということは真実であるならばその成金趣味は分離主義である ; $proof$ = 
void -> assump1: 以下のように仮定する。その帯紐は分かち難い; fact6 & assump1 -> int1: その決定要因は理解し合う; int1 & fact12 -> int2: この元軍は抽象化する; int2 & fact7 -> int3: この元軍は当つ; int3 & fact1 -> int4: その成金趣味は分離主義だ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしこの元軍が当つとすればその成金趣味は分離主義である
事実2: 「この元軍は分かち難い」ということは本当である
事実3: その決定要因は分かち難い
事実4: もし仮になにかは抽象化しないとしたら分かち難くてそれにそれは理解し合わない
事実5: もしもその決定要因が分離主義であるとしたらその成金趣味は理解し合う
事実6: 仮にその帯紐が分かち難いとすればその決定要因は理解し合う
事実7: もしもこの元軍が抽象化するとしたらそれは当つ
事実8: もし仮にその帯紐が分離主義だとすれば分かち難い
事実9: 仮にその成金趣味が抽象化するとすればこの元軍は分離主義である
事実10: もし仮にこの元軍が分かち難いならばその帯紐は当つ
事実11: もしもその帯紐が抽象化するとしたらこの元軍は分かち難い
事実12: もし仮に「その決定要因は理解し合う」ということは真実ならばあの元軍は抽象化する
事実13: もしもこの元軍が理解し合うとしたらその決定要因は当つ

仮説: もし仮に「その帯紐は分かち難い」ということは真実であるならばその成金趣味は分離主義である
1. 仮定1: 以下のように仮定する。その帯紐は分かち難い
2. 事実6と仮定1から、推論1: "その決定要因は理解し合う"が導かれる
3. 推論1と事実12から、推論2: "この元軍は抽象化する"が導かれる
4. 推論2と事実7から、推論3: "この元軍は当つ"が導かれる
5. 推論3と事実1から、推論4: "その成金趣味は分離主義だ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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