「「もし仮にランクインするということはなくて加えて心労でないとすれば脱却出来ない」ものはある」ということは間違いだ
fact1: 「仮にまあるかなくて更に小暗くないとすれば育ち難いということはない」物はある fact2: もしもこのあいこはランクインするけれど心労でないとすればそれは脱却出来ない fact3: 仮に何らかのものがコーチするということはなくて更にそれはＭさんでないなら凛々しくない fact4: 「もしランクインするがしかし心労でないなら脱却出来ない」物はある fact5: 「もしも相続分でないし新値だということはないとすれば責めない」物はある fact6: このあいこはランクインしないけど心労だとしたら脱却出来ない fact7: 仮になにかはランクインするが心労だということはないとすればそれは脱却出来ない fact8: 「もしもランクインするということはなくておまけに心労でないなら脱却出来る」物はある fact9: 「ランクインしないけど心労であるならば脱却出来ない」物はある fact10: もし仮にとあるものがランクインしないが心労なら脱却出来ない fact11: もしもとあるものがランクインしないしそれにそれが心労でないとすればそれは脱却出来る fact12: 「もし取り難くないししかも七ゼロ生産でないとしたら略系図でない」ものはある fact13: 何かはランクインしないし心労だということはないとすればそれは脱却出来ない fact14: 「もし仮に彩らなくて略系図であるということはないなら解し難くない」ものはある fact15: もしもこのあいこがランクインするということはないしさらにそれは心労でないなら脱却出来る fact16: もしもとある物は底堅くなくてしかも踏み砕かないとすれば軽くない fact17: この入院者は各々でなくておまけにランクインしないとしたら怪しくない
fact13 -> int1: 「もしもこのあいこがランクインしなくて心労でないならこのあいこは脱却出来ない」ということは事実である; int1 -> hypothesis;
$facts$ = fact1: 「仮にまあるかなくて更に小暗くないとすれば育ち難いということはない」物はある fact2: もしもこのあいこはランクインするけれど心労でないとすればそれは脱却出来ない fact3: 仮に何らかのものがコーチするということはなくて更にそれはＭさんでないなら凛々しくない fact4: 「もしランクインするがしかし心労でないなら脱却出来ない」物はある fact5: 「もしも相続分でないし新値だということはないとすれば責めない」物はある fact6: このあいこはランクインしないけど心労だとしたら脱却出来ない fact7: 仮になにかはランクインするが心労だということはないとすればそれは脱却出来ない fact8: 「もしもランクインするということはなくておまけに心労でないなら脱却出来る」物はある fact9: 「ランクインしないけど心労であるならば脱却出来ない」物はある fact10: もし仮にとあるものがランクインしないが心労なら脱却出来ない fact11: もしもとあるものがランクインしないしそれにそれが心労でないとすればそれは脱却出来る fact12: 「もし取り難くないししかも七ゼロ生産でないとしたら略系図でない」ものはある fact13: 何かはランクインしないし心労だということはないとすればそれは脱却出来ない fact14: 「もし仮に彩らなくて略系図であるということはないなら解し難くない」ものはある fact15: もしもこのあいこがランクインするということはないしさらにそれは心労でないなら脱却出来る fact16: もしもとある物は底堅くなくてしかも踏み砕かないとすれば軽くない fact17: この入院者は各々でなくておまけにランクインしないとしたら怪しくない ; $hypothesis$ = 「「もし仮にランクインするということはなくて加えて心労でないとすれば脱却出来ない」ものはある」ということは間違いだ ; $proof$ = 
fact13 -> int1: 「もしもこのあいこがランクインしなくて心労でないならこのあいこは脱却出来ない」ということは事実である; int1 -> hypothesis; __DISPROVED__
事実1: 「仮にまあるかなくて更に小暗くないとすれば育ち難いということはない」物はある
事実2: もしもこのあいこはランクインするけれど心労でないとすればそれは脱却出来ない
事実3: 仮に何らかのものがコーチするということはなくて更にそれはＭさんでないなら凛々しくない
事実4: 「もしランクインするがしかし心労でないなら脱却出来ない」物はある
事実5: 「もしも相続分でないし新値だということはないとすれば責めない」物はある
事実6: このあいこはランクインしないけど心労だとしたら脱却出来ない
事実7: 仮になにかはランクインするが心労だということはないとすればそれは脱却出来ない
事実8: 「もしもランクインするということはなくておまけに心労でないなら脱却出来る」物はある
事実9: 「ランクインしないけど心労であるならば脱却出来ない」物はある
事実10: もし仮にとあるものがランクインしないが心労なら脱却出来ない
事実11: もしもとあるものがランクインしないしそれにそれが心労でないとすればそれは脱却出来る
事実12: 「もし取り難くないししかも七ゼロ生産でないとしたら略系図でない」ものはある
事実13: 何かはランクインしないし心労だということはないとすればそれは脱却出来ない
事実14: 「もし仮に彩らなくて略系図であるということはないなら解し難くない」ものはある
事実15: もしもこのあいこがランクインするということはないしさらにそれは心労でないなら脱却出来る
事実16: もしもとある物は底堅くなくてしかも踏み砕かないとすれば軽くない
事実17: この入院者は各々でなくておまけにランクインしないとしたら怪しくない

仮説: 「「もし仮にランクインするということはなくて加えて心労でないとすれば脱却出来ない」ものはある」ということは間違いだ
1. 事実13から、推論1: "「もしもこのあいこがランクインしなくて心労でないならこのあいこは脱却出来ない」ということは事実である"が導かれる
2. 推論1から、仮説が否定される

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