「この真田家は受け入れられ易くて申し訳無い」ということは成り立たない
fact1: その作業手順は馴染み深い fact2: もしなにがしかのものが使用し易くないかまたは兼ね備えるかあるいは両方ならあのアナジーは素っ気ない fact3: 仮にその作業手順は馴染み深くないなら「この真田家は受け入れられ易くて申し訳無い」ということは事実と異なる fact4: なにがしかの物が馴染み深くないかあるいは歩み寄るとしたらその作業手順は申し訳無い fact5: もしその資産時価は歩み寄らないとすると「その大敗は収納するしそれは素っ気ない」ということは誤りである fact6: もしその作業手順が馴染み深いなら兼ね備える fact7: もしも「なんらかのものは勝ち易くて包まる」ということは間違っているとしたらそれは勝ち易くない fact8: もし仮にこの真田家が歩み寄るとするとそれは受け入れられ易い fact9: この真田家が申し訳無いしその上それは収納する fact10: 仮にあの修正再表示が歩み寄らないけれど合格後だとするとその資産時価は歩み寄らない fact11: もし「あのアナジーは素っ気ない」ということは事実ならばこの真田家は歩み寄る fact12: このデータ・アクセスビーンはそそっかしくないなら「あの世界性は勝ち易くて加えて包まる」ということは偽だ fact13: 「このデータ・アクセスビーンはＶＬＡだ一方でエイトＬでない」ということは成り立たない fact14: もしも「その大敗は収納するしまた素っ気ない」ということは成り立たないとしたらあのアナジーは素っ気なくない fact15: 「このデータ・アクセスビーンはＶＬＡであるけれどエイトＬだということはない」ということは誤りであるとすればそそっかしくない fact16: この真田家は収納する fact17: もし仮になにがしかのものは後悔し始めないならばそれは歩み寄らないけど合格後だ fact18: もしあのアナジーは素っ気なくないとしたら「「その作業手順は使用し易くてかつ兼ね備える」ということは成り立つ」ということは成り立たない fact19: あのアナジーは真空状態だ fact20: 勝ち易くない物は応用出来る
fact6 & fact1 -> int1: その作業手順は兼ね備える; int1 -> int2: その作業手順は使用し易くないかあるいは兼ね備えるかもしくは両方ともである; int2 -> int3: 「使用し易くないかあるいは兼ね備える」ものはある; int3 & fact2 -> int4: あのアナジーは素っ気ない; int4 & fact11 -> int5: 「この真田家は歩み寄る」ということは事実だ; int5 & fact8 -> int6: この真田家は受け入れられ易い; fact9 -> int7: この真田家は申し訳無い; int6 & int7 -> hypothesis;
「「この真田家は受け入れられ易いしまた申し訳無い」ということは正しい」ということは誤っている
fact25 -> int8: もし仮にあの修正再表示が後悔し始めないとすれば歩み寄らなくて合格後だ; fact23 -> int9: あの世界性が勝ち易くないならば応用出来る; fact29 -> int10: 「あの世界性は勝ち易くてそれに包まる」ということは間違いであるとすれば「それは勝ち易くない」ということは確かである; fact31 & fact27 -> int11: このデータ・アクセスビーンはそそっかしくない; fact30 & int11 -> int12: 「あの世界性は勝ち易いししかも包まる」ということは成り立たない; int10 & int12 -> int13: あの世界性は勝ち易くない; int9 & int13 -> int14: あの世界性は応用出来る; int14 -> int15: 「「応用出来る」ということは確かである」物はある;
$facts$ = fact1: その作業手順は馴染み深い fact2: もしなにがしかのものが使用し易くないかまたは兼ね備えるかあるいは両方ならあのアナジーは素っ気ない fact3: 仮にその作業手順は馴染み深くないなら「この真田家は受け入れられ易くて申し訳無い」ということは事実と異なる fact4: なにがしかの物が馴染み深くないかあるいは歩み寄るとしたらその作業手順は申し訳無い fact5: もしその資産時価は歩み寄らないとすると「その大敗は収納するしそれは素っ気ない」ということは誤りである fact6: もしその作業手順が馴染み深いなら兼ね備える fact7: もしも「なんらかのものは勝ち易くて包まる」ということは間違っているとしたらそれは勝ち易くない fact8: もし仮にこの真田家が歩み寄るとするとそれは受け入れられ易い fact9: この真田家が申し訳無いしその上それは収納する fact10: 仮にあの修正再表示が歩み寄らないけれど合格後だとするとその資産時価は歩み寄らない fact11: もし「あのアナジーは素っ気ない」ということは事実ならばこの真田家は歩み寄る fact12: このデータ・アクセスビーンはそそっかしくないなら「あの世界性は勝ち易くて加えて包まる」ということは偽だ fact13: 「このデータ・アクセスビーンはＶＬＡだ一方でエイトＬでない」ということは成り立たない fact14: もしも「その大敗は収納するしまた素っ気ない」ということは成り立たないとしたらあのアナジーは素っ気なくない fact15: 「このデータ・アクセスビーンはＶＬＡであるけれどエイトＬだということはない」ということは誤りであるとすればそそっかしくない fact16: この真田家は収納する fact17: もし仮になにがしかのものは後悔し始めないならばそれは歩み寄らないけど合格後だ fact18: もしあのアナジーは素っ気なくないとしたら「「その作業手順は使用し易くてかつ兼ね備える」ということは成り立つ」ということは成り立たない fact19: あのアナジーは真空状態だ fact20: 勝ち易くない物は応用出来る ; $hypothesis$ = 「この真田家は受け入れられ易くて申し訳無い」ということは成り立たない ; $proof$ = 
fact6 & fact1 -> int1: その作業手順は兼ね備える; int1 -> int2: その作業手順は使用し易くないかあるいは兼ね備えるかもしくは両方ともである; int2 -> int3: 「使用し易くないかあるいは兼ね備える」ものはある; int3 & fact2 -> int4: あのアナジーは素っ気ない; int4 & fact11 -> int5: 「この真田家は歩み寄る」ということは事実だ; int5 & fact8 -> int6: この真田家は受け入れられ易い; fact9 -> int7: この真田家は申し訳無い; int6 & int7 -> hypothesis; __DISPROVED__
事実1: その作業手順は馴染み深い
事実2: もしなにがしかのものが使用し易くないかまたは兼ね備えるかあるいは両方ならあのアナジーは素っ気ない
事実3: 仮にその作業手順は馴染み深くないなら「この真田家は受け入れられ易くて申し訳無い」ということは事実と異なる
事実4: なにがしかの物が馴染み深くないかあるいは歩み寄るとしたらその作業手順は申し訳無い
事実5: もしその資産時価は歩み寄らないとすると「その大敗は収納するしそれは素っ気ない」ということは誤りである
事実6: もしその作業手順が馴染み深いなら兼ね備える
事実7: もしも「なんらかのものは勝ち易くて包まる」ということは間違っているとしたらそれは勝ち易くない
事実8: もし仮にこの真田家が歩み寄るとするとそれは受け入れられ易い
事実9: この真田家が申し訳無いしその上それは収納する
事実10: 仮にあの修正再表示が歩み寄らないけれど合格後だとするとその資産時価は歩み寄らない
事実11: もし「あのアナジーは素っ気ない」ということは事実ならばこの真田家は歩み寄る
事実12: このデータ・アクセスビーンはそそっかしくないなら「あの世界性は勝ち易くて加えて包まる」ということは偽だ
事実13: 「このデータ・アクセスビーンはＶＬＡだ一方でエイトＬでない」ということは成り立たない
事実14: もしも「その大敗は収納するしまた素っ気ない」ということは成り立たないとしたらあのアナジーは素っ気なくない
事実15: 「このデータ・アクセスビーンはＶＬＡであるけれどエイトＬだということはない」ということは誤りであるとすればそそっかしくない
事実16: この真田家は収納する
事実17: もし仮になにがしかのものは後悔し始めないならばそれは歩み寄らないけど合格後だ
事実18: もしあのアナジーは素っ気なくないとしたら「「その作業手順は使用し易くてかつ兼ね備える」ということは成り立つ」ということは成り立たない
事実19: あのアナジーは真空状態だ
事実20: 勝ち易くない物は応用出来る

仮説: 「この真田家は受け入れられ易くて申し訳無い」ということは成り立たない
1. 事実6と事実1から、推論1: "その作業手順は兼ね備える"が導かれる
2. 推論1から、推論2: "その作業手順は使用し易くないかあるいは兼ね備えるかもしくは両方ともである"が導かれる
3. 推論2から、推論3: "「使用し易くないかあるいは兼ね備える」ものはある"が導かれる
4. 推論3と事実2から、推論4: "あのアナジーは素っ気ない"が導かれる
5. 推論4と事実11から、推論5: "「この真田家は歩み寄る」ということは事実だ"が導かれる
6. 推論5と事実8から、推論6: "この真田家は受け入れられ易い"が導かれる
7. 事実9から、推論7: "この真田家は申し訳無い"が導かれる
8. 推論6と推論7から、仮説が否定される

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