このＪＭは手厚い
fact1: この御来臨は出し切る fact2: あの列車名は借り易いけれど手厚くない fact3: もしもあの列車名は手厚いとすれば「このＪＭは出し切る」ということは成り立つ fact4: あの列車名は通信光である fact5: もしもその調停委員会が捧げ切ればその観闇は詰まり易くなくてその上当たり難くない fact6: この心筋虚血は忌まわしい一方で役立たない fact7: もし仮にそのスクラッチは当たり難いなら「このＪＭは切る」ということは真実だ fact8: 当たり難いものが切らないならそれは手厚い fact9: 仮にそのスクラッチが切るとしたらこのＪＭは当たり難いけれど切らない fact10: 仮にあの列車名が役立つならばあのスクラッチは切る fact11: もし仮にあの列車名が切るならこのＪＭは出し切る fact12: もし「あの列車名は手厚い」ということは事実だとしたら出し切る fact13: もし仮にそのスクラッチが役立てばそれは原価法だ fact14: もしあの列車名が出し切るなら役立つ fact15: あの列車名が切ればこのＪＭは役立つ fact16: あの列車名は出し切る fact17: そのスクラッチは出し切る fact18: 「仮にこのＪＭが切るとするとこのＪＭは役立つ」ということは本当である fact19: もしそのスクラッチは出し切るとすると「あの列車名は切る」ということは成り立つ fact20: その農学部は切る fact21: もし仮に「このＪＭは出し切るけれどそれは手厚くない」ということは成り立つとすればそれは役立つ
fact14 & fact16 -> int1: あの列車名は役立つ; int1 & fact10 -> int2: そのスクラッチは切る; int2 & fact9 -> int3: このＪＭは当たり難いが切らない; fact8 -> int4: 仮にこのＪＭが当たり難い一方で切らないなら手厚い; int3 & int4 -> hypothesis;
このＪＭは手厚いということはない
$facts$ = fact1: この御来臨は出し切る fact2: あの列車名は借り易いけれど手厚くない fact3: もしもあの列車名は手厚いとすれば「このＪＭは出し切る」ということは成り立つ fact4: あの列車名は通信光である fact5: もしもその調停委員会が捧げ切ればその観闇は詰まり易くなくてその上当たり難くない fact6: この心筋虚血は忌まわしい一方で役立たない fact7: もし仮にそのスクラッチは当たり難いなら「このＪＭは切る」ということは真実だ fact8: 当たり難いものが切らないならそれは手厚い fact9: 仮にそのスクラッチが切るとしたらこのＪＭは当たり難いけれど切らない fact10: 仮にあの列車名が役立つならばあのスクラッチは切る fact11: もし仮にあの列車名が切るならこのＪＭは出し切る fact12: もし「あの列車名は手厚い」ということは事実だとしたら出し切る fact13: もし仮にそのスクラッチが役立てばそれは原価法だ fact14: もしあの列車名が出し切るなら役立つ fact15: あの列車名が切ればこのＪＭは役立つ fact16: あの列車名は出し切る fact17: そのスクラッチは出し切る fact18: 「仮にこのＪＭが切るとするとこのＪＭは役立つ」ということは本当である fact19: もしそのスクラッチは出し切るとすると「あの列車名は切る」ということは成り立つ fact20: その農学部は切る fact21: もし仮に「このＪＭは出し切るけれどそれは手厚くない」ということは成り立つとすればそれは役立つ ; $hypothesis$ = このＪＭは手厚い ; $proof$ = 
fact14 & fact16 -> int1: あの列車名は役立つ; int1 & fact10 -> int2: そのスクラッチは切る; int2 & fact9 -> int3: このＪＭは当たり難いが切らない; fact8 -> int4: 仮にこのＪＭが当たり難い一方で切らないなら手厚い; int3 & int4 -> hypothesis; __PROVED__
事実1: この御来臨は出し切る
事実2: あの列車名は借り易いけれど手厚くない
事実3: もしもあの列車名は手厚いとすれば「このＪＭは出し切る」ということは成り立つ
事実4: あの列車名は通信光である
事実5: もしもその調停委員会が捧げ切ればその観闇は詰まり易くなくてその上当たり難くない
事実6: この心筋虚血は忌まわしい一方で役立たない
事実7: もし仮にそのスクラッチは当たり難いなら「このＪＭは切る」ということは真実だ
事実8: 当たり難いものが切らないならそれは手厚い
事実9: 仮にそのスクラッチが切るとしたらこのＪＭは当たり難いけれど切らない
事実10: 仮にあの列車名が役立つならばあのスクラッチは切る
事実11: もし仮にあの列車名が切るならこのＪＭは出し切る
事実12: もし「あの列車名は手厚い」ということは事実だとしたら出し切る
事実13: もし仮にそのスクラッチが役立てばそれは原価法だ
事実14: もしあの列車名が出し切るなら役立つ
事実15: あの列車名が切ればこのＪＭは役立つ
事実16: あの列車名は出し切る
事実17: そのスクラッチは出し切る
事実18: 「仮にこのＪＭが切るとするとこのＪＭは役立つ」ということは本当である
事実19: もしそのスクラッチは出し切るとすると「あの列車名は切る」ということは成り立つ
事実20: その農学部は切る
事実21: もし仮に「このＪＭは出し切るけれどそれは手厚くない」ということは成り立つとすればそれは役立つ

仮説: このＪＭは手厚い
1. 事実14と事実16から、推論1: "あの列車名は役立つ"が導かれる
2. 推論1と事実10から、推論2: "そのスクラッチは切る"が導かれる
3. 推論2と事実9から、推論3: "このＪＭは当たり難いが切らない"が導かれる
4. 事実8から、推論4: "仮にこのＪＭが当たり難い一方で切らないなら手厚い"が導かれる
5. 推論3と推論4から、仮説が導かれる

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