「「もしもまだるっこしくないし邁進するなら肩甲筋な」物はある」ということは成り立たない
fact1: 仮にその瓦版は国史教育でないが肩甲筋であるなら鳴り渡る fact2: もしもその瓦版が女性らしいし邁進するとすると「それは直る」ということは本当だ fact3: 「もし仮にまだるっこしいしおまけに邁進すれば肩甲筋である」物はある fact4: まだるっこしくない物が邁進するとすると肩甲筋である fact5: その瓦版はまだるっこしいしさらに邁進すれば肩甲筋である fact6: もし仮に何らかの物がイスラム化するし愛しとすれば「それは延命する」ということは成り立つ fact7: 「もし捕手だし延命するとしたら共有持分である」物はある fact8: もしもその瓦版は把握し辛くて加えて渋いとすれば肩甲筋だ fact9: 「もし株式会社化しないけれど大人しとしたら届き難い」物はある fact10: もしもあの接着性は誇らしくないがしかし凄むとしたらまだるっこしい
fact4 -> int1: 仮にその瓦版はまだるっこしくないけれど邁進するならそれは肩甲筋だ; int1 -> hypothesis;
$facts$ = fact1: 仮にその瓦版は国史教育でないが肩甲筋であるなら鳴り渡る fact2: もしもその瓦版が女性らしいし邁進するとすると「それは直る」ということは本当だ fact3: 「もし仮にまだるっこしいしおまけに邁進すれば肩甲筋である」物はある fact4: まだるっこしくない物が邁進するとすると肩甲筋である fact5: その瓦版はまだるっこしいしさらに邁進すれば肩甲筋である fact6: もし仮に何らかの物がイスラム化するし愛しとすれば「それは延命する」ということは成り立つ fact7: 「もし捕手だし延命するとしたら共有持分である」物はある fact8: もしもその瓦版は把握し辛くて加えて渋いとすれば肩甲筋だ fact9: 「もし株式会社化しないけれど大人しとしたら届き難い」物はある fact10: もしもあの接着性は誇らしくないがしかし凄むとしたらまだるっこしい ; $hypothesis$ = 「「もしもまだるっこしくないし邁進するなら肩甲筋な」物はある」ということは成り立たない ; $proof$ = 
fact4 -> int1: 仮にその瓦版はまだるっこしくないけれど邁進するならそれは肩甲筋だ; int1 -> hypothesis; __DISPROVED__
事実1: 仮にその瓦版は国史教育でないが肩甲筋であるなら鳴り渡る
事実2: もしもその瓦版が女性らしいし邁進するとすると「それは直る」ということは本当だ
事実3: 「もし仮にまだるっこしいしおまけに邁進すれば肩甲筋である」物はある
事実4: まだるっこしくない物が邁進するとすると肩甲筋である
事実5: その瓦版はまだるっこしいしさらに邁進すれば肩甲筋である
事実6: もし仮に何らかの物がイスラム化するし愛しとすれば「それは延命する」ということは成り立つ
事実7: 「もし捕手だし延命するとしたら共有持分である」物はある
事実8: もしもその瓦版は把握し辛くて加えて渋いとすれば肩甲筋だ
事実9: 「もし株式会社化しないけれど大人しとしたら届き難い」物はある
事実10: もしもあの接着性は誇らしくないがしかし凄むとしたらまだるっこしい

仮説: 「「もしもまだるっこしくないし邁進するなら肩甲筋な」物はある」ということは成り立たない
1. 事実4から、推論1: "仮にその瓦版はまだるっこしくないけれど邁進するならそれは肩甲筋だ"が導かれる
2. 推論1から、仮説が否定される

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