「「もしも伴い易いとすれば転進しないけど概括する」物はある」ということは間違いだ
fact1: 「もしも右頭だとしたら共用しないけれど言い出し難い」物はある fact2: 「仮に伴い易いとすると転進しない」ものはある fact3: もしもこの不信心が常傭するとすれば米朝でないし更にそれは賑々しい fact4: 仮にあのターシ・ツアーズはちょボラであるとするとそれは痛覚でないが著作物である fact5: 「もしも伴い易いとすると概括する」ものはある fact6: 「もし伴い易いとすれば転進するし概括する」物はある fact7: もしもあのターシ・ツアーズが探り当てるならそれは泉下でない一方で伴い易い fact8: もしあのターシ・ツアーズが伴い易いとすればそれは転進しないしおまけに概括する fact9: なにがしかのものは関連会社株式であるとしたらそれは間引きしないけれどおっきい fact10: もしあのターシ・ツアーズが伴い易いとすると転進するし概括する fact11: 「もしその任免権が概括するとするとその任免権は睨み据えない一方で滑り易い」ということは間違っていない fact12: もし仮にあるものが持てば物欲しかないけれど哀れっぽい fact13: もしあのターシ・ツアーズが伴い易いとしたらそれは概括する
fact8 -> hypothesis;
「もし関連会社株式であるとすれば間引きしないけれどおっきい」ものはある
fact14 -> int1: 仮にその任免権が関連会社株式であるとすると間引きしなくておまけにおっきい; int1 -> hypothesis;
$facts$ = fact1: 「もしも右頭だとしたら共用しないけれど言い出し難い」物はある fact2: 「仮に伴い易いとすると転進しない」ものはある fact3: もしもこの不信心が常傭するとすれば米朝でないし更にそれは賑々しい fact4: 仮にあのターシ・ツアーズはちょボラであるとするとそれは痛覚でないが著作物である fact5: 「もしも伴い易いとすると概括する」ものはある fact6: 「もし伴い易いとすれば転進するし概括する」物はある fact7: もしもあのターシ・ツアーズが探り当てるならそれは泉下でない一方で伴い易い fact8: もしあのターシ・ツアーズが伴い易いとすればそれは転進しないしおまけに概括する fact9: なにがしかのものは関連会社株式であるとしたらそれは間引きしないけれどおっきい fact10: もしあのターシ・ツアーズが伴い易いとすると転進するし概括する fact11: 「もしその任免権が概括するとするとその任免権は睨み据えない一方で滑り易い」ということは間違っていない fact12: もし仮にあるものが持てば物欲しかないけれど哀れっぽい fact13: もしあのターシ・ツアーズが伴い易いとしたらそれは概括する ; $hypothesis$ = 「「もしも伴い易いとすれば転進しないけど概括する」物はある」ということは間違いだ ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: 「もしも右頭だとしたら共用しないけれど言い出し難い」物はある
事実2: 「仮に伴い易いとすると転進しない」ものはある
事実3: もしもこの不信心が常傭するとすれば米朝でないし更にそれは賑々しい
事実4: 仮にあのターシ・ツアーズはちょボラであるとするとそれは痛覚でないが著作物である
事実5: 「もしも伴い易いとすると概括する」ものはある
事実6: 「もし伴い易いとすれば転進するし概括する」物はある
事実7: もしもあのターシ・ツアーズが探り当てるならそれは泉下でない一方で伴い易い
事実8: もしあのターシ・ツアーズが伴い易いとすればそれは転進しないしおまけに概括する
事実9: なにがしかのものは関連会社株式であるとしたらそれは間引きしないけれどおっきい
事実10: もしあのターシ・ツアーズが伴い易いとすると転進するし概括する
事実11: 「もしその任免権が概括するとするとその任免権は睨み据えない一方で滑り易い」ということは間違っていない
事実12: もし仮にあるものが持てば物欲しかないけれど哀れっぽい
事実13: もしあのターシ・ツアーズが伴い易いとしたらそれは概括する

仮説: 「「もしも伴い易いとすれば転進しないけど概括する」物はある」ということは間違いだ
1. 事実8から、仮説が否定される

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