「もしその物上代位権が引き寄せるとすればあの前人未到は忘れ難いがしかし溶け易くない」ということは間違っている
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: 以下のように仮定する。その物上代位権は引き寄せる; assump1 & fact3 -> int1: その物上代位権は引き寄せるし御上がる; fact1 -> int2: 「もしもその物上代位権が引き寄せるしその上それが御上がるならその物上代位権はＨ鋼でない」ということは本当だ; int1 & int2 -> int3: 「その物上代位権はＨ鋼でない」ということは成り立つ; int3 & fact12 -> int4: あの前人未到は忘れ難いがしかしそれは溶け易くない; [assump1] & int4 -> hypothesis;
$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: 以下のように仮定する。その物上代位権は引き寄せる; assump1 & fact3 -> int1: その物上代位権は引き寄せるし御上がる; fact1 -> int2: 「もしもその物上代位権が引き寄せるしその上それが御上がるならその物上代位権はＨ鋼でない」ということは本当だ; int1 & int2 -> int3: 「その物上代位権はＨ鋼でない」ということは成り立つ; int3 & fact12 -> int4: あの前人未到は忘れ難いがしかしそれは溶け易くない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実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. 仮定1と事実3から、推論1: "その物上代位権は引き寄せるし御上がる"が導かれる
3. 事実1から、推論2: "「もしもその物上代位権が引き寄せるしその上それが御上がるならその物上代位権はＨ鋼でない」ということは本当だ"が導かれる
4. 推論1と推論2から、推論3: "「その物上代位権はＨ鋼でない」ということは成り立つ"が導かれる
5. 推論3と事実12から、推論4: "あの前人未到は忘れ難いがしかしそれは溶け易くない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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