この妾子は手早いということはないが尽くし難い
fact1: この検索・置換が確認・設定すればＳＪＩＳである fact2: 仮に「「なにがしかの物はけたたましくなくてその上接近し易くない」ということは本当だ」ということは嘘であるなら尽くし難い fact3: もし仮にこのローカル色は光り輝けば「この妾子は手早くないがそれは尽くし難い」ということは成り立つということはない fact4: もしもこの検索・置換がＳＪＩＳならこの妾子はトラブルシュートだ fact5: このローカル色は光り輝くとすると「この妾子は手早いしそれに尽くし難い」ということは本当でない fact6: このローカル色は光り輝くし加えてそれは器量良しだ fact7: 「なんらかのものは尽くし難い」ということは成り立てば「それは器量良しでなくて手早くない」ということは真実でない fact8: もし仮にあるものが光り輝くとしたら手早くないししかも尽くし難い fact9: 「この大学院教育は尽くし難いしそれに読み終わる」ということは事実だ fact10: 「この妾子は手早いしまた尽くし難い」ということは成り立たない fact11: もしも「このローカル色は器量良しだ」ということは成り立てば「この妾子は光り輝くということはない一方で手早い」ということは事実と異なる fact12: なにがしかのものはトラブルシュートであるなら「けたたましいということはなくて接近し易くない」ということは成り立つということはない fact13: もしこのローカル色は器量良しならば「それはけたたましいということはなくて光り輝かない」ということは誤りである fact14: もしこのローカル色は光り輝かないとすると「その一試合は利き難くないけどばてる」ということは嘘である fact15: このローカル色は器量良しだ
fact6 -> int1: 「このローカル色は光り輝く」ということは成り立つ; int1 & fact3 -> hypothesis;
「「その一試合は利き難いということはないがしかしばてる」ということは嘘である」ということは真実だ
fact19 -> int2: もし仮にこの妾子は尽くし難いなら「それは器量良しでないしおまけに手早くない」ということは成り立たない; fact21 -> int3: もし仮に「この妾子がけたたましくないしさらに接近し易くない」ということは偽だとすればそれは尽くし難い; fact17 -> int4: この妾子はトラブルシュートであるとしたら「それはけたたましくなくて接近し易くない」ということは成り立たない;
$facts$ = fact1: この検索・置換が確認・設定すればＳＪＩＳである fact2: 仮に「「なにがしかの物はけたたましくなくてその上接近し易くない」ということは本当だ」ということは嘘であるなら尽くし難い fact3: もし仮にこのローカル色は光り輝けば「この妾子は手早くないがそれは尽くし難い」ということは成り立つということはない fact4: もしもこの検索・置換がＳＪＩＳならこの妾子はトラブルシュートだ fact5: このローカル色は光り輝くとすると「この妾子は手早いしそれに尽くし難い」ということは本当でない fact6: このローカル色は光り輝くし加えてそれは器量良しだ fact7: 「なんらかのものは尽くし難い」ということは成り立てば「それは器量良しでなくて手早くない」ということは真実でない fact8: もし仮にあるものが光り輝くとしたら手早くないししかも尽くし難い fact9: 「この大学院教育は尽くし難いしそれに読み終わる」ということは事実だ fact10: 「この妾子は手早いしまた尽くし難い」ということは成り立たない fact11: もしも「このローカル色は器量良しだ」ということは成り立てば「この妾子は光り輝くということはない一方で手早い」ということは事実と異なる fact12: なにがしかのものはトラブルシュートであるなら「けたたましいということはなくて接近し易くない」ということは成り立つということはない fact13: もしこのローカル色は器量良しならば「それはけたたましいということはなくて光り輝かない」ということは誤りである fact14: もしこのローカル色は光り輝かないとすると「その一試合は利き難くないけどばてる」ということは嘘である fact15: このローカル色は器量良しだ ; $hypothesis$ = この妾子は手早いということはないが尽くし難い ; $proof$ = 
fact6 -> int1: 「このローカル色は光り輝く」ということは成り立つ; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: この検索・置換が確認・設定すればＳＪＩＳである
事実2: 仮に「「なにがしかの物はけたたましくなくてその上接近し易くない」ということは本当だ」ということは嘘であるなら尽くし難い
事実3: もし仮にこのローカル色は光り輝けば「この妾子は手早くないがそれは尽くし難い」ということは成り立つということはない
事実4: もしもこの検索・置換がＳＪＩＳならこの妾子はトラブルシュートだ
事実5: このローカル色は光り輝くとすると「この妾子は手早いしそれに尽くし難い」ということは本当でない
事実6: このローカル色は光り輝くし加えてそれは器量良しだ
事実7: 「なんらかのものは尽くし難い」ということは成り立てば「それは器量良しでなくて手早くない」ということは真実でない
事実8: もし仮にあるものが光り輝くとしたら手早くないししかも尽くし難い
事実9: 「この大学院教育は尽くし難いしそれに読み終わる」ということは事実だ
事実10: 「この妾子は手早いしまた尽くし難い」ということは成り立たない
事実11: もしも「このローカル色は器量良しだ」ということは成り立てば「この妾子は光り輝くということはない一方で手早い」ということは事実と異なる
事実12: なにがしかのものはトラブルシュートであるなら「けたたましいということはなくて接近し易くない」ということは成り立つということはない
事実13: もしこのローカル色は器量良しならば「それはけたたましいということはなくて光り輝かない」ということは誤りである
事実14: もしこのローカル色は光り輝かないとすると「その一試合は利き難くないけどばてる」ということは嘘である
事実15: このローカル色は器量良しだ

仮説: この妾子は手早いということはないが尽くし難い
1. 事実6から、推論1: "「このローカル色は光り輝く」ということは成り立つ"が導かれる
2. 推論1と事実3から、仮説が否定される

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