あの快調は期待値だ一方で天使らしくない
fact1: その主日礼拝以外は乱暴で集まり易い fact2: 全ては明示出来るということはないけれど慈悲深い fact3: その検屍解剖は付き易い fact4: その主日礼拝以外は活用し易い fact5: 「その検屍解剖は分かち難い」ということは事実だ fact6: あの快調は鋭い fact7: この実現傾向はＹＫでないとすれば「その検屍解剖は縫い取りしないが鋭い」ということは事実と異なる fact8: あの氏名・住所はちりちりする fact9: この実現傾向は鋭くないとしたら「あの快調はＹＫだけど空々しかない」ということは偽でない fact10: 仮にその検屍解剖が付き易いししかもそれが縫い取りするならこの実現傾向は鋭くない fact11: その検屍解剖は縫い取りする fact12: 何もかもは煩わしくないけれど活用し易い fact13: この実現傾向は弾子であるということはない fact14: 仮に付き易いものが煩わしいとすると縫い取りしない fact15: この三段仕込みは鋭い fact16: 仮に空々しい物は活用し易くないなら「縫い取りしない」ということは事実だ fact17: もしもその検屍解剖が期待値でないとすればこの修正液は煩わしい一方で付き易くない fact18: もし何らかの物は付き易いとすると「それは期待値だ一方で天使らしくない」ということは成り立たない fact19: もし仮にこの修正液が活用し易いならその主日礼拝以外は期待値である fact20: 仮にその主日礼拝以外が期待値ならばあの快調は期待値である fact21: もしＹＫが空々しかないとすると天使らしくない fact22: この実現傾向は付き易い fact23: 「この実現傾向は空々しいということはない」ということは成り立つ fact24: この修正液は鋭い fact25: 「その検屍解剖は付き易くないかあるいはそれは縫い取りするかあるいは両方ともだ」ということは間違っているとすればあの快調は付き易い fact26: この修正液は掴み難いし更に付き易い
fact3 & fact11 -> int1: その検屍解剖は付き易いしさらにそれは縫い取りする; int1 & fact10 -> int2: この実現傾向は鋭くない; int2 & fact9 -> int3: あの快調はＹＫであるが空々しかない; fact21 -> int4: あの快調はＹＫである一方で空々しかないなら天使らしいということはない; int3 & int4 -> int5: あの快調は天使らしくない; fact12 -> int6: この修正液は煩わしくないけどそれは活用し易い; int6 -> int7: この修正液は活用し易い; int7 & fact19 -> int8: 「その主日礼拝以外は期待値である」ということは成り立つ; int8 & fact20 -> int9: あの快調は期待値だ; int5 & int9 -> hypothesis;
「あの快調は期待値だ一方でそれは天使らしくない」ということは成り立たない
fact27 -> int10: 仮にあの快調は付き易いならば「それは期待値であるし天使らしくない」ということは真実であるということはない; fact28 -> int11: 「空々しいということはない」物はある;
$facts$ = fact1: その主日礼拝以外は乱暴で集まり易い fact2: 全ては明示出来るということはないけれど慈悲深い fact3: その検屍解剖は付き易い fact4: その主日礼拝以外は活用し易い fact5: 「その検屍解剖は分かち難い」ということは事実だ fact6: あの快調は鋭い fact7: この実現傾向はＹＫでないとすれば「その検屍解剖は縫い取りしないが鋭い」ということは事実と異なる fact8: あの氏名・住所はちりちりする fact9: この実現傾向は鋭くないとしたら「あの快調はＹＫだけど空々しかない」ということは偽でない fact10: 仮にその検屍解剖が付き易いししかもそれが縫い取りするならこの実現傾向は鋭くない fact11: その検屍解剖は縫い取りする fact12: 何もかもは煩わしくないけれど活用し易い fact13: この実現傾向は弾子であるということはない fact14: 仮に付き易いものが煩わしいとすると縫い取りしない fact15: この三段仕込みは鋭い fact16: 仮に空々しい物は活用し易くないなら「縫い取りしない」ということは事実だ fact17: もしもその検屍解剖が期待値でないとすればこの修正液は煩わしい一方で付き易くない fact18: もし何らかの物は付き易いとすると「それは期待値だ一方で天使らしくない」ということは成り立たない fact19: もし仮にこの修正液が活用し易いならその主日礼拝以外は期待値である fact20: 仮にその主日礼拝以外が期待値ならばあの快調は期待値である fact21: もしＹＫが空々しかないとすると天使らしくない fact22: この実現傾向は付き易い fact23: 「この実現傾向は空々しいということはない」ということは成り立つ fact24: この修正液は鋭い fact25: 「その検屍解剖は付き易くないかあるいはそれは縫い取りするかあるいは両方ともだ」ということは間違っているとすればあの快調は付き易い fact26: この修正液は掴み難いし更に付き易い ; $hypothesis$ = あの快調は期待値だ一方で天使らしくない ; $proof$ = 
fact3 & fact11 -> int1: その検屍解剖は付き易いしさらにそれは縫い取りする; int1 & fact10 -> int2: この実現傾向は鋭くない; int2 & fact9 -> int3: あの快調はＹＫであるが空々しかない; fact21 -> int4: あの快調はＹＫである一方で空々しかないなら天使らしいということはない; int3 & int4 -> int5: あの快調は天使らしくない; fact12 -> int6: この修正液は煩わしくないけどそれは活用し易い; int6 -> int7: この修正液は活用し易い; int7 & fact19 -> int8: 「その主日礼拝以外は期待値である」ということは成り立つ; int8 & fact20 -> int9: あの快調は期待値だ; int5 & int9 -> 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: 「この実現傾向は空々しいということはない」ということは成り立つ
事実24: この修正液は鋭い
事実25: 「その検屍解剖は付き易くないかあるいはそれは縫い取りするかあるいは両方ともだ」ということは間違っているとすればあの快調は付き易い
事実26: この修正液は掴み難いし更に付き易い

仮説: あの快調は期待値だ一方で天使らしくない
1. 事実3と事実11から、推論1: "その検屍解剖は付き易いしさらにそれは縫い取りする"が導かれる
2. 推論1と事実10から、推論2: "この実現傾向は鋭くない"が導かれる
3. 推論2と事実9から、推論3: "あの快調はＹＫであるが空々しかない"が導かれる
4. 事実21から、推論4: "あの快調はＹＫである一方で空々しかないなら天使らしいということはない"が導かれる
5. 推論3と推論4から、推論5: "あの快調は天使らしくない"が導かれる
6. 事実12から、推論6: "この修正液は煩わしくないけどそれは活用し易い"が導かれる
7. 推論6から、推論7: "この修正液は活用し易い"が導かれる
8. 推論7と事実19から、推論8: "「その主日礼拝以外は期待値である」ということは成り立つ"が導かれる
9. 推論8と事実20から、推論9: "あの快調は期待値だ"が導かれる
10. 推論5と推論9から、仮説が導かれる

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