「なにがしかの物は定む」ということは間違いである
fact1: あの保存係は切除する fact2: とある物は右向きである fact3: 慕わしい物は憔悴する fact4: もしもあの保存係が見付け難いとしたら定む fact5: 「見付け難い」物はある fact6: あの保存係は雇える fact7: あの保存係は見付け難い fact8: それは慕わしくないし落籍さないという物はない fact9: あの保存係は青黒い fact10: あの保存係は仕組む fact11: あの一晩は見付け難い fact12: 仮に「あの雨風は慕わしくないしかつそれは落籍さない」ということは嘘であるならばあの保存係は慕わしい fact13: 「働かす」物はある fact14: あの保存係は映画史ならば「仕組む」ということは成り立つ fact15: もし「あの保存係は収入す」ということは成り立つなら定む fact16: もしもあの保存係は纏まり易いとしたら「それは見付け難い」ということは事実だ
fact4 & fact7 -> int1: 「あの保存係は定む」ということは誤りでない; int1 -> hypothesis;
fact4 & fact7 -> int1: {B}{a}; int1 -> hypothesis;
「この法的要求事項は見付け難い」ということは真実である
fact17 -> int2: もし仮にあの保存係は慕わしいとすれば「それは憔悴する」ということは事実である; fact18 -> int3: 「あの雨風は慕わしくないしその上落籍しない」ということは事実と異なる; fact19 & int3 -> int4: あの保存係は慕わしい; int2 & int4 -> int5: あの保存係は憔悴する; int5 -> int6: 「憔悴する」物はある;
$facts$ = fact1: あの保存係は切除する fact2: とある物は右向きである fact3: 慕わしい物は憔悴する fact4: もしもあの保存係が見付け難いとしたら定む fact5: 「見付け難い」物はある fact6: あの保存係は雇える fact7: あの保存係は見付け難い fact8: それは慕わしくないし落籍さないという物はない fact9: あの保存係は青黒い fact10: あの保存係は仕組む fact11: あの一晩は見付け難い fact12: 仮に「あの雨風は慕わしくないしかつそれは落籍さない」ということは嘘であるならばあの保存係は慕わしい fact13: 「働かす」物はある fact14: あの保存係は映画史ならば「仕組む」ということは成り立つ fact15: もし「あの保存係は収入す」ということは成り立つなら定む fact16: もしもあの保存係は纏まり易いとしたら「それは見付け難い」ということは事実だ ; $hypothesis$ = 「なにがしかの物は定む」ということは間違いである ; $proof$ = 
fact4 & fact7 -> int1: 「あの保存係は定む」ということは誤りでない; int1 -> hypothesis; __DISPROVED__
事実1: あの保存係は切除する
事実2: とある物は右向きである
事実3: 慕わしい物は憔悴する
事実4: もしもあの保存係が見付け難いとしたら定む
事実5: 「見付け難い」物はある
事実6: あの保存係は雇える
事実7: あの保存係は見付け難い
事実8: それは慕わしくないし落籍さないという物はない
事実9: あの保存係は青黒い
事実10: あの保存係は仕組む
事実11: あの一晩は見付け難い
事実12: 仮に「あの雨風は慕わしくないしかつそれは落籍さない」ということは嘘であるならばあの保存係は慕わしい
事実13: 「働かす」物はある
事実14: あの保存係は映画史ならば「仕組む」ということは成り立つ
事実15: もし「あの保存係は収入す」ということは成り立つなら定む
事実16: もしもあの保存係は纏まり易いとしたら「それは見付け難い」ということは事実だ

仮説: 「なにがしかの物は定む」ということは間違いである
1. 事実4と事実7から、推論1: "「あの保存係は定む」ということは誤りでない"が導かれる
2. 推論1から、仮説が否定される

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