あの無極は損ねる
fact1: もしもワークが費用処理すれば中級クラスであるということはない fact2: すべては節減するしそれにそれは思わしくない fact3: すべてのものは地盤条件であるしさらにそれは持ち切れる fact4: あの無極はＭＩＤＩだけれどＰＧＡツアーでない fact5: もし仮に「そのアウトドア派はＨＵファミリーである」ということは成り立つとすると持ち切れる fact6: あの無極は面映ゆかない fact7: もしもプロらしいものは地盤条件であるとすると伝統的建造物保存地区であるということはない fact8: もし「とあるものは伝統的建造物保存地区であるししかもそれはプロらしい」ということは成り立たないとしたら「伝統的建造物保存地区でない」ということは確かだ fact9: あの無極はプロらしい fact10: 仮にそのアウトドア派が持ち切れればあの無極は地盤条件だ fact11: もしもなにがしかのものは節減しない一方で思わしいとすればそれは損ねる fact12: 伝統的建造物保存地区であるしその上プロらしいというものはない fact13: 「なんらかのものは節減する」ということは確かであるとしたら挿入すがしかし普通ブイヨンでない fact14: もし「何かは節減するけど思わしくない」ということは正しいとすれば損ねらない
fact2 -> int1: あの無極は節減するが思わしくない; fact14 -> int2: もし仮にあの無極は節減するけれど思わしくないならばそれは損ねるということはない; int1 & int2 -> hypothesis;
fact2 -> int1: ({A}{aa} & ¬{B}{aa}); fact14 -> int2: ({A}{aa} & ¬{B}{aa}) -> ¬{C}{aa}; int1 & int2 -> hypothesis;
あの無極は損ねる
fact18 -> int3: あの無極は節減しないがしかし思わしいとするとそれは損ねる; fact19 -> int4: もしもあの無極はプロらしい物でその上地盤条件であるならばそれは伝統的建造物保存地区でない;
$facts$ = fact1: もしもワークが費用処理すれば中級クラスであるということはない fact2: すべては節減するしそれにそれは思わしくない fact3: すべてのものは地盤条件であるしさらにそれは持ち切れる fact4: あの無極はＭＩＤＩだけれどＰＧＡツアーでない fact5: もし仮に「そのアウトドア派はＨＵファミリーである」ということは成り立つとすると持ち切れる fact6: あの無極は面映ゆかない fact7: もしもプロらしいものは地盤条件であるとすると伝統的建造物保存地区であるということはない fact8: もし「とあるものは伝統的建造物保存地区であるししかもそれはプロらしい」ということは成り立たないとしたら「伝統的建造物保存地区でない」ということは確かだ fact9: あの無極はプロらしい fact10: 仮にそのアウトドア派が持ち切れればあの無極は地盤条件だ fact11: もしもなにがしかのものは節減しない一方で思わしいとすればそれは損ねる fact12: 伝統的建造物保存地区であるしその上プロらしいというものはない fact13: 「なんらかのものは節減する」ということは確かであるとしたら挿入すがしかし普通ブイヨンでない fact14: もし「何かは節減するけど思わしくない」ということは正しいとすれば損ねらない ; $hypothesis$ = あの無極は損ねる ; $proof$ = 
fact2 -> int1: あの無極は節減するが思わしくない; fact14 -> int2: もし仮にあの無極は節減するけれど思わしくないならばそれは損ねるということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもワークが費用処理すれば中級クラスであるということはない
事実2: すべては節減するしそれにそれは思わしくない
事実3: すべてのものは地盤条件であるしさらにそれは持ち切れる
事実4: あの無極はＭＩＤＩだけれどＰＧＡツアーでない
事実5: もし仮に「そのアウトドア派はＨＵファミリーである」ということは成り立つとすると持ち切れる
事実6: あの無極は面映ゆかない
事実7: もしもプロらしいものは地盤条件であるとすると伝統的建造物保存地区であるということはない
事実8: もし「とあるものは伝統的建造物保存地区であるししかもそれはプロらしい」ということは成り立たないとしたら「伝統的建造物保存地区でない」ということは確かだ
事実9: あの無極はプロらしい
事実10: 仮にそのアウトドア派が持ち切れればあの無極は地盤条件だ
事実11: もしもなにがしかのものは節減しない一方で思わしいとすればそれは損ねる
事実12: 伝統的建造物保存地区であるしその上プロらしいというものはない
事実13: 「なんらかのものは節減する」ということは確かであるとしたら挿入すがしかし普通ブイヨンでない
事実14: もし「何かは節減するけど思わしくない」ということは正しいとすれば損ねらない

仮説: あの無極は損ねる
1. 事実2から、推論1: "あの無極は節減するが思わしくない"が導かれる
2. 事実14から、推論2: "もし仮にあの無極は節減するけれど思わしくないならばそれは損ねるということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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