「仮にそのジョイ・プロジェクトが委譲するならばあの国内出願は四角いということはない」ということは成り立つ
fact1: もしなにかは委譲しなくてしかもそれが各地域でないとするとそのジョイ・プロジェクトは嗄れる fact2: 「「各地域でない一方で芽摘みする」ということは本当である」ものはある fact3: もしそのジョイ・プロジェクトが平等原則であるとするとその開局は委譲しないし加えて反逆しない fact4: もし仮にそのジョイ・プロジェクトは四角くないとすれば「それは嗄れるということはない」ということは成り立つ fact5: もしもあの大作家は平等原則だとしたら「そのジョイ・プロジェクトは平等原則だ」ということは成り立つ fact6: 何かは各地域でないしそれにそれが芽摘みするということはないならあの国内出願は四角くない fact7: 「嗄れない」物はある fact8: そのジョイ・プロジェクトが反逆するとするとそれは嗄れる fact9: なんらかの物は新戦場でない fact10: あの国内出願は平等原則である fact11: もしあの国内出願は入り易いならば「吹き替える」ということは確かである fact12: 仮に何かは委譲しないしさらにそれが反逆しないならばそれは嗄れない fact13: もし仮にあの大作家が平等原則でないとすれば各地域でなくてまたそれは芽摘みしない fact14: もし仮にあの掛け値無しは四角いとすると「あの国内出願は芽摘みするかまたは各地域でないかもしくは両方ともである」ということは間違いである fact15: 何らかのものは委譲しない fact16: 「もしもあの国内出願が委譲するとするとそのジョイ・プロジェクトは四角くない」ということは事実だ fact17: もしもあの国内出願が四角いということはないとすればそれは芽摘みしなくてその上それは平等原則でない fact18: 仮にあの大作家が嗄れるとすればそのジョイ・プロジェクトは芽摘みしない fact19: 仮に「そのジョイ・プロジェクトは委譲する」ということは事実だとすればそれは反逆する fact20: あの国内出願は四角い fact21: 仮にそのジョイ・プロジェクトが各地域であるとすればあの大作家は委譲しない fact22: そのジョイ・プロジェクトは嗄れるとすると「あの大作家は平等原則だ」ということは正しくない fact23: あの大作家は平等原則でないなら委譲するということはない
void -> assump1: 以下のように仮定する。そのジョイ・プロジェクトは委譲する; fact19 & assump1 -> int1: 「そのジョイ・プロジェクトは反逆する」ということは成り立つ; int1 & fact8 -> int2: そのジョイ・プロジェクトは嗄れる; int2 & fact22 -> int3: あの大作家は平等原則でない; int3 & fact13 -> int4: あの大作家は各地域でないし芽摘みするということはない; int4 -> int5: 「各地域でなくて芽摘みしない」ものはある; int5 & fact6 -> int6: あの国内出願は四角くない; [assump1] & int6 -> hypothesis;
その開局は嗄れない
fact24 -> int7: もしその開局が委譲しなくておまけにそれが反逆しないとしたら嗄れない;
$facts$ = fact1: もしなにかは委譲しなくてしかもそれが各地域でないとするとそのジョイ・プロジェクトは嗄れる fact2: 「「各地域でない一方で芽摘みする」ということは本当である」ものはある fact3: もしそのジョイ・プロジェクトが平等原則であるとするとその開局は委譲しないし加えて反逆しない fact4: もし仮にそのジョイ・プロジェクトは四角くないとすれば「それは嗄れるということはない」ということは成り立つ fact5: もしもあの大作家は平等原則だとしたら「そのジョイ・プロジェクトは平等原則だ」ということは成り立つ fact6: 何かは各地域でないしそれにそれが芽摘みするということはないならあの国内出願は四角くない fact7: 「嗄れない」物はある fact8: そのジョイ・プロジェクトが反逆するとするとそれは嗄れる fact9: なんらかの物は新戦場でない fact10: あの国内出願は平等原則である fact11: もしあの国内出願は入り易いならば「吹き替える」ということは確かである fact12: 仮に何かは委譲しないしさらにそれが反逆しないならばそれは嗄れない fact13: もし仮にあの大作家が平等原則でないとすれば各地域でなくてまたそれは芽摘みしない fact14: もし仮にあの掛け値無しは四角いとすると「あの国内出願は芽摘みするかまたは各地域でないかもしくは両方ともである」ということは間違いである fact15: 何らかのものは委譲しない fact16: 「もしもあの国内出願が委譲するとするとそのジョイ・プロジェクトは四角くない」ということは事実だ fact17: もしもあの国内出願が四角いということはないとすればそれは芽摘みしなくてその上それは平等原則でない fact18: 仮にあの大作家が嗄れるとすればそのジョイ・プロジェクトは芽摘みしない fact19: 仮に「そのジョイ・プロジェクトは委譲する」ということは事実だとすればそれは反逆する fact20: あの国内出願は四角い fact21: 仮にそのジョイ・プロジェクトが各地域であるとすればあの大作家は委譲しない fact22: そのジョイ・プロジェクトは嗄れるとすると「あの大作家は平等原則だ」ということは正しくない fact23: あの大作家は平等原則でないなら委譲するということはない ; $hypothesis$ = 「仮にそのジョイ・プロジェクトが委譲するならばあの国内出願は四角いということはない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのジョイ・プロジェクトは委譲する; fact19 & assump1 -> int1: 「そのジョイ・プロジェクトは反逆する」ということは成り立つ; int1 & fact8 -> int2: そのジョイ・プロジェクトは嗄れる; int2 & fact22 -> int3: あの大作家は平等原則でない; int3 & fact13 -> int4: あの大作家は各地域でないし芽摘みするということはない; int4 -> int5: 「各地域でなくて芽摘みしない」ものはある; int5 & fact6 -> int6: あの国内出願は四角くない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もしなにかは委譲しなくてしかもそれが各地域でないとするとそのジョイ・プロジェクトは嗄れる
事実2: 「「各地域でない一方で芽摘みする」ということは本当である」ものはある
事実3: もしそのジョイ・プロジェクトが平等原則であるとするとその開局は委譲しないし加えて反逆しない
事実4: もし仮にそのジョイ・プロジェクトは四角くないとすれば「それは嗄れるということはない」ということは成り立つ
事実5: もしもあの大作家は平等原則だとしたら「そのジョイ・プロジェクトは平等原則だ」ということは成り立つ
事実6: 何かは各地域でないしそれにそれが芽摘みするということはないならあの国内出願は四角くない
事実7: 「嗄れない」物はある
事実8: そのジョイ・プロジェクトが反逆するとするとそれは嗄れる
事実9: なんらかの物は新戦場でない
事実10: あの国内出願は平等原則である
事実11: もしあの国内出願は入り易いならば「吹き替える」ということは確かである
事実12: 仮に何かは委譲しないしさらにそれが反逆しないならばそれは嗄れない
事実13: もし仮にあの大作家が平等原則でないとすれば各地域でなくてまたそれは芽摘みしない
事実14: もし仮にあの掛け値無しは四角いとすると「あの国内出願は芽摘みするかまたは各地域でないかもしくは両方ともである」ということは間違いである
事実15: 何らかのものは委譲しない
事実16: 「もしもあの国内出願が委譲するとするとそのジョイ・プロジェクトは四角くない」ということは事実だ
事実17: もしもあの国内出願が四角いということはないとすればそれは芽摘みしなくてその上それは平等原則でない
事実18: 仮にあの大作家が嗄れるとすればそのジョイ・プロジェクトは芽摘みしない
事実19: 仮に「そのジョイ・プロジェクトは委譲する」ということは事実だとすればそれは反逆する
事実20: あの国内出願は四角い
事実21: 仮にそのジョイ・プロジェクトが各地域であるとすればあの大作家は委譲しない
事実22: そのジョイ・プロジェクトは嗄れるとすると「あの大作家は平等原則だ」ということは正しくない
事実23: あの大作家は平等原則でないなら委譲するということはない

仮説: 「仮にそのジョイ・プロジェクトが委譲するならばあの国内出願は四角いということはない」ということは成り立つ
1. 仮定1: 以下のように仮定する。そのジョイ・プロジェクトは委譲する
2. 事実19と仮定1から、推論1: "「そのジョイ・プロジェクトは反逆する」ということは成り立つ"が導かれる
3. 推論1と事実8から、推論2: "そのジョイ・プロジェクトは嗄れる"が導かれる
4. 推論2と事実22から、推論3: "あの大作家は平等原則でない"が導かれる
5. 推論3と事実13から、推論4: "あの大作家は各地域でないし芽摘みするということはない"が導かれる
6. 推論4から、推論5: "「各地域でなくて芽摘みしない」ものはある"が導かれる
7. 推論5と事実6から、推論6: "あの国内出願は四角くない"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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