この正定値は失敬する
fact1: もし仮にある物が順守するとすると合わせ辛い fact2: もし何かは順守するとすればそれは太い fact3: 「その不老不死は磨き続けるしかつそれは空振りする」ということは誤りだ fact4: とあるものが磨き続けないとするとそれは待ち合わせするかあるいは来為さる fact5: 「モイスト・タイプでないし蹌踉けるということはない」ものはある fact6: 仮にあの一藩は合わせ辛くて被相続人等であるとすれば待ち合わせしない fact7: 仮に「モイスト・タイプでないし蹌踉けるない」ものがあるとしたらあの一藩は被相続人等である fact8: もし仮にその不老不死は合わせ辛いなら「あの湯豆腐は順守しなくてその上被相続人等だということはない」ということは偽である fact9: あの手指消毒法は太い fact10: 仮にあの一藩が太いとしたらそれは順守する fact11: もしもその不老不死が磨き続けないとするとそれが待ち合わせするしその上合わせ辛い fact12: 仮にあの一藩は待ち合わせしないならば「この正定値は磨き続ける」ということは成り立つ fact13: 何かは太いなら失敬する fact14: 「あの一藩は太い」ということは確かである fact15: 仮に「その不老不死は磨き続けるしそれに空振りする」ということは成り立たないとしたらそれは磨き続けるということはない fact16: 「あの一藩は被相続人等であるけれど合わせ辛くない」ということは本当でないとしたらこの正定値は合わせ辛くない fact17: もし仮に「この正定値は来為さる」ということは確かだとすれば「失敬しなくて更にそれは空振りする」ということは成り立つ fact18: その不老不死は磨き続けるということはない fact19: もし仮にあの湯豆腐は待ち合わせすれば「あの一藩は被相続人等であるがしかし合わせ辛くない」ということは事実と異なる fact20: あの一藩は痛む fact21: もしもこの正定値が磨き続けるとすれば来為さる
fact10 & fact14 -> int1: あの一藩は順守する; fact1 -> int2: もし仮にあの一藩が順守するとするとそれは合わせ辛い; int1 & int2 -> int3: あの一藩は合わせ辛い; fact7 & fact5 -> int4: あの一藩は被相続人等だ; int3 & int4 -> int5: あの一藩は合わせ辛いし被相続人等だ; int5 & fact6 -> int6: あの一藩は待ち合わせしない; int6 & fact12 -> int7: この正定値は磨き続ける; int7 & fact21 -> int8: この正定値は来為さる; int8 & fact17 -> int9: この正定値は失敬しないけれどそれは空振りする; int9 -> hypothesis;
あの一藩は空振りする
fact23 -> int10: この正定値が順守するなら太い; fact24 & fact22 -> int11: その不老不死は待ち合わせするしそれに合わせ辛い; int11 -> int12: その不老不死は合わせ辛い; fact25 & int12 -> int13: 「あの湯豆腐は順守しなくて加えて被相続人等でない」ということは確かでない; int13 -> int14: 「「順守しないしまた被相続人等でない」ということは間違っている」ものはある;
$facts$ = fact1: もし仮にある物が順守するとすると合わせ辛い fact2: もし何かは順守するとすればそれは太い fact3: 「その不老不死は磨き続けるしかつそれは空振りする」ということは誤りだ fact4: とあるものが磨き続けないとするとそれは待ち合わせするかあるいは来為さる fact5: 「モイスト・タイプでないし蹌踉けるということはない」ものはある fact6: 仮にあの一藩は合わせ辛くて被相続人等であるとすれば待ち合わせしない fact7: 仮に「モイスト・タイプでないし蹌踉けるない」ものがあるとしたらあの一藩は被相続人等である fact8: もし仮にその不老不死は合わせ辛いなら「あの湯豆腐は順守しなくてその上被相続人等だということはない」ということは偽である fact9: あの手指消毒法は太い fact10: 仮にあの一藩が太いとしたらそれは順守する fact11: もしもその不老不死が磨き続けないとするとそれが待ち合わせするしその上合わせ辛い fact12: 仮にあの一藩は待ち合わせしないならば「この正定値は磨き続ける」ということは成り立つ fact13: 何かは太いなら失敬する fact14: 「あの一藩は太い」ということは確かである fact15: 仮に「その不老不死は磨き続けるしそれに空振りする」ということは成り立たないとしたらそれは磨き続けるということはない fact16: 「あの一藩は被相続人等であるけれど合わせ辛くない」ということは本当でないとしたらこの正定値は合わせ辛くない fact17: もし仮に「この正定値は来為さる」ということは確かだとすれば「失敬しなくて更にそれは空振りする」ということは成り立つ fact18: その不老不死は磨き続けるということはない fact19: もし仮にあの湯豆腐は待ち合わせすれば「あの一藩は被相続人等であるがしかし合わせ辛くない」ということは事実と異なる fact20: あの一藩は痛む fact21: もしもこの正定値が磨き続けるとすれば来為さる ; $hypothesis$ = この正定値は失敬する ; $proof$ = 
fact10 & fact14 -> int1: あの一藩は順守する; fact1 -> int2: もし仮にあの一藩が順守するとするとそれは合わせ辛い; int1 & int2 -> int3: あの一藩は合わせ辛い; fact7 & fact5 -> int4: あの一藩は被相続人等だ; int3 & int4 -> int5: あの一藩は合わせ辛いし被相続人等だ; int5 & fact6 -> int6: あの一藩は待ち合わせしない; int6 & fact12 -> int7: この正定値は磨き続ける; int7 & fact21 -> int8: この正定値は来為さる; int8 & fact17 -> int9: この正定値は失敬しないけれどそれは空振りする; int9 -> hypothesis; __DISPROVED__
事実1: もし仮にある物が順守するとすると合わせ辛い
事実2: もし何かは順守するとすればそれは太い
事実3: 「その不老不死は磨き続けるしかつそれは空振りする」ということは誤りだ
事実4: とあるものが磨き続けないとするとそれは待ち合わせするかあるいは来為さる
事実5: 「モイスト・タイプでないし蹌踉けるということはない」ものはある
事実6: 仮にあの一藩は合わせ辛くて被相続人等であるとすれば待ち合わせしない
事実7: 仮に「モイスト・タイプでないし蹌踉けるない」ものがあるとしたらあの一藩は被相続人等である
事実8: もし仮にその不老不死は合わせ辛いなら「あの湯豆腐は順守しなくてその上被相続人等だということはない」ということは偽である
事実9: あの手指消毒法は太い
事実10: 仮にあの一藩が太いとしたらそれは順守する
事実11: もしもその不老不死が磨き続けないとするとそれが待ち合わせするしその上合わせ辛い
事実12: 仮にあの一藩は待ち合わせしないならば「この正定値は磨き続ける」ということは成り立つ
事実13: 何かは太いなら失敬する
事実14: 「あの一藩は太い」ということは確かである
事実15: 仮に「その不老不死は磨き続けるしそれに空振りする」ということは成り立たないとしたらそれは磨き続けるということはない
事実16: 「あの一藩は被相続人等であるけれど合わせ辛くない」ということは本当でないとしたらこの正定値は合わせ辛くない
事実17: もし仮に「この正定値は来為さる」ということは確かだとすれば「失敬しなくて更にそれは空振りする」ということは成り立つ
事実18: その不老不死は磨き続けるということはない
事実19: もし仮にあの湯豆腐は待ち合わせすれば「あの一藩は被相続人等であるがしかし合わせ辛くない」ということは事実と異なる
事実20: あの一藩は痛む
事実21: もしもこの正定値が磨き続けるとすれば来為さる

仮説: この正定値は失敬する
1. 事実10と事実14から、推論1: "あの一藩は順守する"が導かれる
2. 事実1から、推論2: "もし仮にあの一藩が順守するとするとそれは合わせ辛い"が導かれる
3. 推論1と推論2から、推論3: "あの一藩は合わせ辛い"が導かれる
4. 事実7と事実5から、推論4: "あの一藩は被相続人等だ"が導かれる
5. 推論3と推論4から、推論5: "あの一藩は合わせ辛いし被相続人等だ"が導かれる
6. 推論5と事実6から、推論6: "あの一藩は待ち合わせしない"が導かれる
7. 推論6と事実12から、推論7: "この正定値は磨き続ける"が導かれる
8. 推論7と事実21から、推論8: "この正定値は来為さる"が導かれる
9. 推論8と事実17から、推論9: "この正定値は失敬しないけれどそれは空振りする"が導かれる
10. 推論9から、仮説が否定される

よって、仮説が否定されました。