「もし仮にＭＥＲだとしたら素っ気なくないしかつ復権しない」物はある
fact1: もしもあの男子が砕け易いとしたらこの戦争放棄条項は見分け難くなくてかつ復権するということはない fact2: 何らかの物は代替わりする一方で広がり易くない fact3: 「仮に素っ気ないとすればストラップである一方で得手でない」物はある fact4: その小蕪がゼネラルでないししかもそれがストラップでないならばその種牡馬は心地良い fact5: もし仮に「その小蕪は得手であるということはない」ということは本当だとすればゼネラルでなくてかつストラップであるということはない fact6: ある物は見分け難くない fact7: 何らかのものはＭＥＲであるけれどそれはゼネラルでない fact8: あの男子はストラップでない fact9: その種牡馬は移植操作であるということはなくてそれに若くない fact10: あの男子は広がり易い fact11: あの男子は砕け易い fact12: その種牡馬は見分け難くない fact13: あのさびき釣りはＭＥＲであるしそれは軽し fact14: 「その小蕪が心地良くないけれどストラップだとすればあの三つぞろ目はＭＥＲだ」ということは成り立つ fact15: もしもこの三つぞろ目がＭＥＲでかつ素っ気ないとすればその小蕪は得手でない fact16: もしその小蕪が復権しなくて加えて得手でないならこの戦争放棄条項はストラップだ fact17: この戦争放棄条項が見分け難くないしそれが復権しないとすればあの三つぞろ目は復権するということはない fact18: もし仮に「代替わりするしその上広がり易くない」ものがあるとしたらその種牡馬は心地良くない fact19: この戦争放棄条項は得手でなくてその上復権しない
void -> assump1: 以下のように仮定する。この三つぞろ目はＭＥＲである; void -> assump2: 以下のように仮定する。この三つぞろ目は素っ気ない; assump1 & assump2 -> int1: この三つぞろ目はＭＥＲでおまけに素っ気ない; int1 & fact15 -> int2: その小蕪は得手でない; int2 & fact5 -> int3: その小蕪はゼネラルでないしそれはストラップだということはない; int3 & fact4 -> int4: その種牡馬は心地良い; fact2 & fact18 -> int5: その種牡馬は心地良くない; int4 & int5 -> int6: これは矛盾である; [assump2] & int6 -> int7: この三つぞろ目は素っ気なくない; fact1 & fact11 -> int8: この戦争放棄条項は見分け難くないししかも復権しない; int8 & fact17 -> int9: この三つぞろ目は復権しない; int7 & int9 -> int10: この三つぞろ目は素っ気なくなくて加えてそれは復権しない; [assump1] & int10 -> int11: 「もし仮に「この三つぞろ目はＭＥＲだ」ということは本当であるとするとこの三つぞろ目は素っ気なくないしそれに復権しない」ということは真実である; int11 -> hypothesis;
$facts$ = fact1: もしもあの男子が砕け易いとしたらこの戦争放棄条項は見分け難くなくてかつ復権するということはない fact2: 何らかの物は代替わりする一方で広がり易くない fact3: 「仮に素っ気ないとすればストラップである一方で得手でない」物はある fact4: その小蕪がゼネラルでないししかもそれがストラップでないならばその種牡馬は心地良い fact5: もし仮に「その小蕪は得手であるということはない」ということは本当だとすればゼネラルでなくてかつストラップであるということはない fact6: ある物は見分け難くない fact7: 何らかのものはＭＥＲであるけれどそれはゼネラルでない fact8: あの男子はストラップでない fact9: その種牡馬は移植操作であるということはなくてそれに若くない fact10: あの男子は広がり易い fact11: あの男子は砕け易い fact12: その種牡馬は見分け難くない fact13: あのさびき釣りはＭＥＲであるしそれは軽し fact14: 「その小蕪が心地良くないけれどストラップだとすればあの三つぞろ目はＭＥＲだ」ということは成り立つ fact15: もしもこの三つぞろ目がＭＥＲでかつ素っ気ないとすればその小蕪は得手でない fact16: もしその小蕪が復権しなくて加えて得手でないならこの戦争放棄条項はストラップだ fact17: この戦争放棄条項が見分け難くないしそれが復権しないとすればあの三つぞろ目は復権するということはない fact18: もし仮に「代替わりするしその上広がり易くない」ものがあるとしたらその種牡馬は心地良くない fact19: この戦争放棄条項は得手でなくてその上復権しない ; $hypothesis$ = 「もし仮にＭＥＲだとしたら素っ気なくないしかつ復権しない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。この三つぞろ目はＭＥＲである; void -> assump2: 以下のように仮定する。この三つぞろ目は素っ気ない; assump1 & assump2 -> int1: この三つぞろ目はＭＥＲでおまけに素っ気ない; int1 & fact15 -> int2: その小蕪は得手でない; int2 & fact5 -> int3: その小蕪はゼネラルでないしそれはストラップだということはない; int3 & fact4 -> int4: その種牡馬は心地良い; fact2 & fact18 -> int5: その種牡馬は心地良くない; int4 & int5 -> int6: これは矛盾である; [assump2] & int6 -> int7: この三つぞろ目は素っ気なくない; fact1 & fact11 -> int8: この戦争放棄条項は見分け難くないししかも復権しない; int8 & fact17 -> int9: この三つぞろ目は復権しない; int7 & int9 -> int10: この三つぞろ目は素っ気なくなくて加えてそれは復権しない; [assump1] & int10 -> int11: 「もし仮に「この三つぞろ目はＭＥＲだ」ということは本当であるとするとこの三つぞろ目は素っ気なくないしそれに復権しない」ということは真実である; int11 -> hypothesis; __PROVED__
事実1: もしもあの男子が砕け易いとしたらこの戦争放棄条項は見分け難くなくてかつ復権するということはない
事実2: 何らかの物は代替わりする一方で広がり易くない
事実3: 「仮に素っ気ないとすればストラップである一方で得手でない」物はある
事実4: その小蕪がゼネラルでないししかもそれがストラップでないならばその種牡馬は心地良い
事実5: もし仮に「その小蕪は得手であるということはない」ということは本当だとすればゼネラルでなくてかつストラップであるということはない
事実6: ある物は見分け難くない
事実7: 何らかのものはＭＥＲであるけれどそれはゼネラルでない
事実8: あの男子はストラップでない
事実9: その種牡馬は移植操作であるということはなくてそれに若くない
事実10: あの男子は広がり易い
事実11: あの男子は砕け易い
事実12: その種牡馬は見分け難くない
事実13: あのさびき釣りはＭＥＲであるしそれは軽し
事実14: 「その小蕪が心地良くないけれどストラップだとすればあの三つぞろ目はＭＥＲだ」ということは成り立つ
事実15: もしもこの三つぞろ目がＭＥＲでかつ素っ気ないとすればその小蕪は得手でない
事実16: もしその小蕪が復権しなくて加えて得手でないならこの戦争放棄条項はストラップだ
事実17: この戦争放棄条項が見分け難くないしそれが復権しないとすればあの三つぞろ目は復権するということはない
事実18: もし仮に「代替わりするしその上広がり易くない」ものがあるとしたらその種牡馬は心地良くない
事実19: この戦争放棄条項は得手でなくてその上復権しない

仮説: 「もし仮にＭＥＲだとしたら素っ気なくないしかつ復権しない」物はある
1. 仮定1: 以下のように仮定する。この三つぞろ目はＭＥＲである
2. 仮定2: 以下のように仮定する。この三つぞろ目は素っ気ない
3. 仮定1と仮定2から、推論1: "この三つぞろ目はＭＥＲでおまけに素っ気ない"が導かれる
4. 推論1と事実15から、推論2: "その小蕪は得手でない"が導かれる
5. 推論2と事実5から、推論3: "その小蕪はゼネラルでないしそれはストラップだということはない"が導かれる
6. 推論3と事実4から、推論4: "その種牡馬は心地良い"が導かれる
7. 事実2と事実18から、推論5: "その種牡馬は心地良くない"が導かれる
8. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
9. [仮定2]と推論6から、推論7: "この三つぞろ目は素っ気なくない"が導かれる
10. 事実1と事実11から、推論8: "この戦争放棄条項は見分け難くないししかも復権しない"が導かれる
11. 推論8と事実17から、推論9: "この三つぞろ目は復権しない"が導かれる
12. 推論7と推論9から、推論10: "この三つぞろ目は素っ気なくなくて加えてそれは復権しない"が導かれる
13. [仮定1]と推論10から、推論11: "「もし仮に「この三つぞろ目はＭＥＲだ」ということは本当であるとするとこの三つぞろ目は素っ気なくないしそれに復権しない」ということは真実である"が導かれる
14. 推論11から、仮説が導かれる

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