あの請け負い代金債権は自社製であるということはない
fact1: もしある物が起き直るとするとフォーカスする fact2: この同日前は開封するなら「「その競技体操は読み難い一方で実現し易くない」ということは成り立たない」ということは成り立つ fact3: その引き立ては知力・学力であるかあるいは実現し易いかもしくは両方ともだ fact4: もし仮にその祝いは知力・学力でないとしたら優し fact5: とある物は優しない fact6: 仮に「その競技体操は実現し易い」ということは嘘でないならあの請け負い代金債権は読み難い fact7: 「その引き立ては収録するしおまけにそれは所狭し」ということは間違いだとするとあの請け負い代金債権は収録するということはない fact8: 「あのメニュー項目は打ち難くない」ということは成り立つ fact9: 「優し」ものはある fact10: 所狭しものは実現し易い fact11: もしもあのメニュー項目が打ち難いということはないならこの日本人旅行者は著しかなくて細菌感染でない fact12: もし何かは実現し易くないとすると「それは収録するし更に所狭し」ということは誤っている fact13: もしも「収録する」物があるとすればその競技体操は所狭し fact14: 仮に知力・学力が優しということはないとするとそれは自社製であるということはない fact15: 「「その競技体操は読み難いがしかしそれは実現し易くない」ということは成り立つということはない」ということは成り立てば「その引き立ては実現し易いということはない」ということは事実だ fact16: もし「優しない」ものがあるとすればその引き立ては知力・学力だ fact17: もし「知力・学力であるか収録するかもしくは両方な」物があるとしたらその競技体操は所狭し fact18: 仮にその引き立てが読み難いとしたら収録する fact19: 仮になにかは読み難いならそれは自社製である fact20: もしも「実現し易いかまたは収録するかもしくはどちらもな」物があるならその引き立ては自社製だ fact21: 「伝え易くない」ものはある
fact5 & fact16 -> int1: その引き立ては知力・学力である; int1 -> int2: その引き立ては知力・学力であるかあるいはそれは収録するかもしくは両方ともだ; int2 -> int3: あるものは知力・学力であるかそれは収録する; int3 & fact17 -> int4: その競技体操は所狭し; fact10 -> int5: もしもその競技体操は所狭しならば「それは実現し易い」ということは本当だ; int4 & int5 -> int6: その競技体操は実現し易い; int6 & fact6 -> int7: あの請け負い代金債権は読み難い; fact19 -> int8: もし仮にあの請け負い代金債権が読み難いとするとそれは自社製だ; int7 & int8 -> hypothesis;
あの請け負い代金債権は自社製でない
fact25 -> int9: 仮にあの請け負い代金債権は知力・学力だけれど優しないとすれば自社製でない; fact28 -> int10: その引き立ては実現し易くないとすれば「収録するしさらにそれは所狭し」ということは成り立つということはない; fact27 & fact22 -> int11: この日本人旅行者は著しいということはなくてかつ細菌感染でない; int11 -> int12: あるものは著しかなくて細菌感染だということはない;
$facts$ = fact1: もしある物が起き直るとするとフォーカスする fact2: この同日前は開封するなら「「その競技体操は読み難い一方で実現し易くない」ということは成り立たない」ということは成り立つ fact3: その引き立ては知力・学力であるかあるいは実現し易いかもしくは両方ともだ fact4: もし仮にその祝いは知力・学力でないとしたら優し fact5: とある物は優しない fact6: 仮に「その競技体操は実現し易い」ということは嘘でないならあの請け負い代金債権は読み難い fact7: 「その引き立ては収録するしおまけにそれは所狭し」ということは間違いだとするとあの請け負い代金債権は収録するということはない fact8: 「あのメニュー項目は打ち難くない」ということは成り立つ fact9: 「優し」ものはある fact10: 所狭しものは実現し易い fact11: もしもあのメニュー項目が打ち難いということはないならこの日本人旅行者は著しかなくて細菌感染でない fact12: もし何かは実現し易くないとすると「それは収録するし更に所狭し」ということは誤っている fact13: もしも「収録する」物があるとすればその競技体操は所狭し fact14: 仮に知力・学力が優しということはないとするとそれは自社製であるということはない fact15: 「「その競技体操は読み難いがしかしそれは実現し易くない」ということは成り立つということはない」ということは成り立てば「その引き立ては実現し易いということはない」ということは事実だ fact16: もし「優しない」ものがあるとすればその引き立ては知力・学力だ fact17: もし「知力・学力であるか収録するかもしくは両方な」物があるとしたらその競技体操は所狭し fact18: 仮にその引き立てが読み難いとしたら収録する fact19: 仮になにかは読み難いならそれは自社製である fact20: もしも「実現し易いかまたは収録するかもしくはどちらもな」物があるならその引き立ては自社製だ fact21: 「伝え易くない」ものはある ; $hypothesis$ = あの請け負い代金債権は自社製であるということはない ; $proof$ = 
fact5 & fact16 -> int1: その引き立ては知力・学力である; int1 -> int2: その引き立ては知力・学力であるかあるいはそれは収録するかもしくは両方ともだ; int2 -> int3: あるものは知力・学力であるかそれは収録する; int3 & fact17 -> int4: その競技体操は所狭し; fact10 -> int5: もしもその競技体操は所狭しならば「それは実現し易い」ということは本当だ; int4 & int5 -> int6: その競技体操は実現し易い; int6 & fact6 -> int7: あの請け負い代金債権は読み難い; fact19 -> int8: もし仮にあの請け負い代金債権が読み難いとするとそれは自社製だ; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もしある物が起き直るとするとフォーカスする
事実2: この同日前は開封するなら「「その競技体操は読み難い一方で実現し易くない」ということは成り立たない」ということは成り立つ
事実3: その引き立ては知力・学力であるかあるいは実現し易いかもしくは両方ともだ
事実4: もし仮にその祝いは知力・学力でないとしたら優し
事実5: とある物は優しない
事実6: 仮に「その競技体操は実現し易い」ということは嘘でないならあの請け負い代金債権は読み難い
事実7: 「その引き立ては収録するしおまけにそれは所狭し」ということは間違いだとするとあの請け負い代金債権は収録するということはない
事実8: 「あのメニュー項目は打ち難くない」ということは成り立つ
事実9: 「優し」ものはある
事実10: 所狭しものは実現し易い
事実11: もしもあのメニュー項目が打ち難いということはないならこの日本人旅行者は著しかなくて細菌感染でない
事実12: もし何かは実現し易くないとすると「それは収録するし更に所狭し」ということは誤っている
事実13: もしも「収録する」物があるとすればその競技体操は所狭し
事実14: 仮に知力・学力が優しということはないとするとそれは自社製であるということはない
事実15: 「「その競技体操は読み難いがしかしそれは実現し易くない」ということは成り立つということはない」ということは成り立てば「その引き立ては実現し易いということはない」ということは事実だ
事実16: もし「優しない」ものがあるとすればその引き立ては知力・学力だ
事実17: もし「知力・学力であるか収録するかもしくは両方な」物があるとしたらその競技体操は所狭し
事実18: 仮にその引き立てが読み難いとしたら収録する
事実19: 仮になにかは読み難いならそれは自社製である
事実20: もしも「実現し易いかまたは収録するかもしくはどちらもな」物があるならその引き立ては自社製だ
事実21: 「伝え易くない」ものはある

仮説: あの請け負い代金債権は自社製であるということはない
1. 事実5と事実16から、推論1: "その引き立ては知力・学力である"が導かれる
2. 推論1から、推論2: "その引き立ては知力・学力であるかあるいはそれは収録するかもしくは両方ともだ"が導かれる
3. 推論2から、推論3: "あるものは知力・学力であるかそれは収録する"が導かれる
4. 推論3と事実17から、推論4: "その競技体操は所狭し"が導かれる
5. 事実10から、推論5: "もしもその競技体操は所狭しならば「それは実現し易い」ということは本当だ"が導かれる
6. 推論4と推論5から、推論6: "その競技体操は実現し易い"が導かれる
7. 推論6と事実6から、推論7: "あの請け負い代金債権は読み難い"が導かれる
8. 事実19から、推論8: "もし仮にあの請け負い代金債権が読み難いとするとそれは自社製だ"が導かれる
9. 推論7と推論8から、仮説が否定される

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