「もしも軍人らしいとすれば退陣しない」物はある
fact1: 「なんらかの物は比較する」ということは成り立つなら合わせ易い fact2: もし仮にあの横浜シンフォニーオーケストラが退陣するとすればそれは手続き出来る fact3: あの最適ポートフォリオはゴルフボールである fact4: もしもあの横浜シンフォニーオーケストラが厳しいとするとその指導実践は手続き出来る fact5: 「軍人らしいとすれば「退陣する」ということは成り立つ」ものはある fact6: もし仮に何かは退陣しないとすれば合わせ易いかまたは親らしいかまたは両方である fact7: その指導実践は合わせ易いかまたは厳しいかもしくは両方だ fact8: もしもとあるものが手続き出来るなら退陣する fact9: あの横浜シンフォニーオーケストラは合わせ易い fact10: もしもあの最適ポートフォリオが軍人らしいならばそれは手続き出来る fact11: もしあの最適ポートフォリオはゴルフボールで合わせ易いなら「あの横浜シンフォニーオーケストラは軍人らしくない」ということは事実だ fact12: あの全習法は合わせ易いか免れ難い fact13: あの最適ポートフォリオは招待するししかもそれは手続き出来る fact14: あの最適ポートフォリオは合わせ易くない fact15: その指導実践は手続き出来ない fact16: もし仮に「その指導実践は厳しい」ということは成り立つならあの最適ポートフォリオは厳しい fact17: もし「あの最適ポートフォリオは合わせ易い」ということは本当ならその指導実践は厳しい fact18: もしも「あの最適ポートフォリオは退陣する」ということは成り立つとすればあの横浜シンフォニーオーケストラは合わせ易い fact19: その指導実践が合わせ易いならばあの最適ポートフォリオは厳しい fact20: もし仮にあの横浜シンフォニーオーケストラは軍人らしいなら「退陣する」ということは確かだ fact21: もし「あの横浜シンフォニーオーケストラは手続き出来るし軍人らしい」ということは成り立つとしたらあの最適ポートフォリオは厳しかない fact22: もし仮にあの横浜シンフォニーオーケストラが軍人らしくないとすると退陣するかもしくは手続き出来るか両方である fact23: 「あの最適ポートフォリオは軍人らしい」ということは本当である
void -> assump2: 以下のように仮定する。あの横浜シンフォニーオーケストラは退陣する; fact2 & assump2 -> int1: あの横浜シンフォニーオーケストラは手続き出来る; void -> assump1: 以下のように仮定する。あの横浜シンフォニーオーケストラは軍人らしい; int1 & assump1 -> int2: あの横浜シンフォニーオーケストラは手続き出来るしさらにそれは軍人らしい; int2 & fact21 -> int3: あの最適ポートフォリオは厳しかない; fact7 & fact19 & fact16 -> int4: あの最適ポートフォリオは厳しい; int3 & int4 -> int5: これは矛盾である; [assump2] & int5 -> int6: あの横浜シンフォニーオーケストラは退陣するということはない; [assump1] & int6 -> int7: 仮にあの横浜シンフォニーオーケストラが軍人らしいなら退陣しない; int7 -> hypothesis;
あの二百石以上は合わせ易いか親らしい
fact24 -> int8: あの二百石以上が退陣しないなら合わせ易いか親らしいかもしくは両方だ;
$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 -> assump2: 以下のように仮定する。あの横浜シンフォニーオーケストラは退陣する; fact2 & assump2 -> int1: あの横浜シンフォニーオーケストラは手続き出来る; void -> assump1: 以下のように仮定する。あの横浜シンフォニーオーケストラは軍人らしい; int1 & assump1 -> int2: あの横浜シンフォニーオーケストラは手続き出来るしさらにそれは軍人らしい; int2 & fact21 -> int3: あの最適ポートフォリオは厳しかない; fact7 & fact19 & fact16 -> int4: あの最適ポートフォリオは厳しい; int3 & int4 -> int5: これは矛盾である; [assump2] & int5 -> int6: あの横浜シンフォニーオーケストラは退陣するということはない; [assump1] & int6 -> int7: 仮にあの横浜シンフォニーオーケストラが軍人らしいなら退陣しない; int7 -> 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. 仮定2: 以下のように仮定する。あの横浜シンフォニーオーケストラは退陣する
2. 事実2と仮定2から、推論1: "あの横浜シンフォニーオーケストラは手続き出来る"が導かれる
3. 仮定1: 以下のように仮定する。あの横浜シンフォニーオーケストラは軍人らしい
4. 推論1と仮定1から、推論2: "あの横浜シンフォニーオーケストラは手続き出来るしさらにそれは軍人らしい"が導かれる
5. 推論2と事実21から、推論3: "あの最適ポートフォリオは厳しかない"が導かれる
6. 事実7と事実19と事実16から、推論4: "あの最適ポートフォリオは厳しい"が導かれる
7. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "あの横浜シンフォニーオーケストラは退陣するということはない"が導かれる
9. [仮定1]と推論6から、推論7: "仮にあの横浜シンフォニーオーケストラが軍人らしいなら退陣しない"が導かれる
10. 推論7から、仮説が導かれる

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