あの鐙は物憂くないものであってさらに言い付からない
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: 証券マンはある
fact23 & fact12 -> int1: その昔乍らは都する; fact19 -> int2: その昔乍らが都するとしたら得易い; int1 & int2 -> int3: その昔乍らは得易い; int3 & fact13 -> int4: あの五領域は得易くないがしかしそれは物憂い; int4 -> int5: あの五領域は物憂い; int5 & fact20 -> hypothesis;
あの鐙は物憂くないしそれは言い付からない
fact27 -> int6: 仮にあの鐙が証券マンであるならそれは物憂くなくてその上言い付からない; fact26 -> int7: もしあの鐙は編み入れないけれど得易いとすると都しない;
$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: 証券マンはある ; $hypothesis$ = あの鐙は物憂くないものであってさらに言い付からない ; $proof$ = 
fact23 & fact12 -> int1: その昔乍らは都する; fact19 -> int2: その昔乍らが都するとしたら得易い; int1 & int2 -> int3: その昔乍らは得易い; int3 & fact13 -> int4: あの五領域は得易くないがしかしそれは物憂い; int4 -> int5: あの五領域は物憂い; int5 & fact20 -> 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: もしもあの五領域は座るとすると「得易いかまたはそれは編み入れないかあるいは両方である」ということは成り立たない
事実25: 証券マンはある

仮説: あの鐙は物憂くないものであってさらに言い付からない
1. 事実23と事実12から、推論1: "その昔乍らは都する"が導かれる
2. 事実19から、推論2: "その昔乍らが都するとしたら得易い"が導かれる
3. 推論1と推論2から、推論3: "その昔乍らは得易い"が導かれる
4. 推論3と事実13から、推論4: "あの五領域は得易くないがしかしそれは物憂い"が導かれる
5. 推論4から、推論5: "あの五領域は物憂い"が導かれる
6. 推論5と事実20から、仮説が否定される

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