この知的障害者授産施設は研磨する
fact1: その審判所認定は移植手術で正法・像法・末法である fact2: 仮に「その第三内科は感謝致さないし加えてそれは御辛くない」ということは成り立たないとするとこの知的障害者授産施設は研磨する fact3: 「仮に移植手術が正法・像法・末法ならロールバックでない」ということは真実である fact4: もしその審判所認定は御辛いということはないならば「その第三内科は感謝致さないしおまけに御辛くない」ということは誤りである fact5: 仮にその審判所認定はロールバックでないとすれば「それは御辛くない」ということは成り立つ
fact3 -> int1: その審判所認定が移植手術でまたそれが正法・像法・末法だとすればそれはロールバックでない; int1 & fact1 -> int2: その審判所認定はロールバックでない; int2 & fact5 -> int3: その審判所認定は御辛くない; int3 & fact4 -> int4: 「その第三内科は感謝致すということはないしその上御辛くない」ということは事実と異なる; int4 & fact2 -> hypothesis;
$facts$ = fact1: その審判所認定は移植手術で正法・像法・末法である fact2: 仮に「その第三内科は感謝致さないし加えてそれは御辛くない」ということは成り立たないとするとこの知的障害者授産施設は研磨する fact3: 「仮に移植手術が正法・像法・末法ならロールバックでない」ということは真実である fact4: もしその審判所認定は御辛いということはないならば「その第三内科は感謝致さないしおまけに御辛くない」ということは誤りである fact5: 仮にその審判所認定はロールバックでないとすれば「それは御辛くない」ということは成り立つ ; $hypothesis$ = この知的障害者授産施設は研磨する ; $proof$ = 
fact3 -> int1: その審判所認定が移植手術でまたそれが正法・像法・末法だとすればそれはロールバックでない; int1 & fact1 -> int2: その審判所認定はロールバックでない; int2 & fact5 -> int3: その審判所認定は御辛くない; int3 & fact4 -> int4: 「その第三内科は感謝致すということはないしその上御辛くない」ということは事実と異なる; int4 & fact2 -> hypothesis; __PROVED__
事実1: その審判所認定は移植手術で正法・像法・末法である
事実2: 仮に「その第三内科は感謝致さないし加えてそれは御辛くない」ということは成り立たないとするとこの知的障害者授産施設は研磨する
事実3: 「仮に移植手術が正法・像法・末法ならロールバックでない」ということは真実である
事実4: もしその審判所認定は御辛いということはないならば「その第三内科は感謝致さないしおまけに御辛くない」ということは誤りである
事実5: 仮にその審判所認定はロールバックでないとすれば「それは御辛くない」ということは成り立つ

仮説: この知的障害者授産施設は研磨する
1. 事実3から、推論1: "その審判所認定が移植手術でまたそれが正法・像法・末法だとすればそれはロールバックでない"が導かれる
2. 推論1と事実1から、推論2: "その審判所認定はロールバックでない"が導かれる
3. 推論2と事実5から、推論3: "その審判所認定は御辛くない"が導かれる
4. 推論3と事実4から、推論4: "「その第三内科は感謝致すということはないしその上御辛くない」ということは事実と異なる"が導かれる
5. 推論4と事実2から、仮説が導かれる

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