「もし下位個体でないなら傷付き易くない」物はある
fact1: 仮にあのグリーン車が下位個体でないとすればそれは傷付き易い fact2: 「仮にリフレッシュでないとしたら明る過ぎる」ものはある fact3: もしあのグリーン車は下位個体でないとするとそれは引き易い fact4: もしもとある物は御祝い申し上げないならば「自分らしくない」ということは確かだ fact5: もしなにかは戦後補償だとすればそれは恐れ多いということはない fact6: もし仮に何かは中興であるならば庁であるということはない fact7: 「もし仮に下位個体なら傷付き易くない」物はある fact8: もしもあの第十二級が傷付き易いとすると進め易くない fact9: もし仮にとあるものが下位個体でないとすれば傷付き易くない
fact9 -> int1: あのグリーン車が下位個体でないとすればそれは傷付き易くない; int1 -> hypothesis;
$facts$ = fact1: 仮にあのグリーン車が下位個体でないとすればそれは傷付き易い fact2: 「仮にリフレッシュでないとしたら明る過ぎる」ものはある fact3: もしあのグリーン車は下位個体でないとするとそれは引き易い fact4: もしもとある物は御祝い申し上げないならば「自分らしくない」ということは確かだ fact5: もしなにかは戦後補償だとすればそれは恐れ多いということはない fact6: もし仮に何かは中興であるならば庁であるということはない fact7: 「もし仮に下位個体なら傷付き易くない」物はある fact8: もしもあの第十二級が傷付き易いとすると進め易くない fact9: もし仮にとあるものが下位個体でないとすれば傷付き易くない ; $hypothesis$ = 「もし下位個体でないなら傷付き易くない」物はある ; $proof$ = 
fact9 -> int1: あのグリーン車が下位個体でないとすればそれは傷付き易くない; int1 -> hypothesis; __PROVED__
事実1: 仮にあのグリーン車が下位個体でないとすればそれは傷付き易い
事実2: 「仮にリフレッシュでないとしたら明る過ぎる」ものはある
事実3: もしあのグリーン車は下位個体でないとするとそれは引き易い
事実4: もしもとある物は御祝い申し上げないならば「自分らしくない」ということは確かだ
事実5: もしなにかは戦後補償だとすればそれは恐れ多いということはない
事実6: もし仮に何かは中興であるならば庁であるということはない
事実7: 「もし仮に下位個体なら傷付き易くない」物はある
事実8: もしもあの第十二級が傷付き易いとすると進め易くない
事実9: もし仮にとあるものが下位個体でないとすれば傷付き易くない

仮説: 「もし下位個体でないなら傷付き易くない」物はある
1. 事実9から、推論1: "あのグリーン車が下位個体でないとすればそれは傷付き易くない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。