「この若が空々しいならあの道徳律は率いる」ということは確かでない
fact1: そのうっかりは描き易いとすると「その文字スタイルは調達す」ということは本当だ fact2: あの道徳律は描き易い fact3: この若は営める fact4: その検索文字列は調達す fact5: 何かは調達すとしたら「秋冬である」ということは成り立つ fact6: 仮にそのうっかりが秋冬だとしたらあの道徳律は率いる fact7: そのうっかりは営める fact8: もしもこの目的点が庇い手ならばそれは下令する fact9: その文字スタイルは庇い手である fact10: その文字スタイルが描き易いということはないけど秋冬であるならばそのうっかりは空々しい fact11: この若が庇い手でないが営めるならばこの目的点は下令する fact12: あの道徳律は通い続けないがしかし空々しい fact13: その文字スタイルが描き易いとしたらそのうっかりは調達す fact14: もしそのうっかりが描き易いならばその文字スタイルは秋冬である fact15: もしもこの若が空々しいとすれば庇い手でないけど営める fact16: あの道徳律は下令する fact17: 仮にこの若が秋冬でないけど空々しいならそのうっかりは営める fact18: その文字スタイルは行き為さる fact19: 仮にこの若は描き易いとすると「その文字スタイルは空々しい」ということは本当だ fact20: もしもあの道徳律が秋冬だとすればそのうっかりは率いる fact21: もしもこの若が空々しいとするとそれは営める fact22: その文字スタイルは秋冬だ fact23: もしもそのうっかりが下令しないが庇い手だとしたらこの目的点は調達す fact24: もし仮にこの目的点が下令するとしたらその文字スタイルは描き易い
void -> assump1: 以下のように仮定する。この若は空々しい; fact15 & assump1 -> int1: この若は庇い手でないが営める; int1 & fact11 -> int2: この目的点は下令する; int2 & fact24 -> int3: その文字スタイルは描き易い; int3 & fact13 -> int4: そのうっかりは調達す; fact5 -> int5: もし仮にそのうっかりは調達すれば「秋冬である」ということは確かである; int4 & int5 -> int6: そのうっかりは秋冬だ; int6 & fact6 -> int7: 「あの道徳律は率いる」ということは間違いでない; [assump1] & int7 -> 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: もしもそのうっかりが下令しないが庇い手だとしたらこの目的点は調達す fact24: もし仮にこの目的点が下令するとしたらその文字スタイルは描き易い ; $hypothesis$ = 「この若が空々しいならあの道徳律は率いる」ということは確かでない ; $proof$ = 
void -> assump1: 以下のように仮定する。この若は空々しい; fact15 & assump1 -> int1: この若は庇い手でないが営める; int1 & fact11 -> int2: この目的点は下令する; int2 & fact24 -> int3: その文字スタイルは描き易い; int3 & fact13 -> int4: そのうっかりは調達す; fact5 -> int5: もし仮にそのうっかりは調達すれば「秋冬である」ということは確かである; int4 & int5 -> int6: そのうっかりは秋冬だ; int6 & fact6 -> int7: 「あの道徳律は率いる」ということは間違いでない; [assump1] & int7 -> 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: もしもそのうっかりが下令しないが庇い手だとしたらこの目的点は調達す
事実24: もし仮にこの目的点が下令するとしたらその文字スタイルは描き易い

仮説: 「この若が空々しいならあの道徳律は率いる」ということは確かでない
1. 仮定1: 以下のように仮定する。この若は空々しい
2. 事実15と仮定1から、推論1: "この若は庇い手でないが営める"が導かれる
3. 推論1と事実11から、推論2: "この目的点は下令する"が導かれる
4. 推論2と事実24から、推論3: "その文字スタイルは描き易い"が導かれる
5. 推論3と事実13から、推論4: "そのうっかりは調達す"が導かれる
6. 事実5から、推論5: "もし仮にそのうっかりは調達すれば「秋冬である」ということは確かである"が導かれる
7. 推論4と推論5から、推論6: "そのうっかりは秋冬だ"が導かれる
8. 推論6と事実6から、推論7: "「あの道徳律は率いる」ということは間違いでない"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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