その人工栄養は取り過ぎない
fact1: この在院期間が誘えるしその上まします fact2: 仮にこの在院期間が住み良いならばその人工栄養は取り過ぎる fact3: 仮にある物は誘えるとすると「嗜好であるかそれはイダントでない」ということは間違いである fact4: もしもとある物が取り過ぎないならそれは誘えるしおまけにそれは住み良い fact5: 「もしもその人工栄養が取り過ぎないかもしくはそれは再興するならばあのハザード内は取り過ぎない」ということは成り立つ fact6: 「「何らかのものは嗜好であるかまたはイダントでない」ということは成り立たないとすればそれは住み良い」ということは成り立つ fact7: もし仮になにがしかのものは誘えるとすると「再石灰化であるかもしくはましまさないかあるいはどちらもだ」ということは誤りである
fact3 -> int1: もしこの在院期間は誘えれば「嗜好であるかあるいはそれはイダントでないかまたは両方だ」ということは誤っている; fact1 -> int2: 「この在院期間は誘える」ということは誤っていない; int1 & int2 -> int3: 「この在院期間は嗜好であるかあるいはイダントでない」ということは成り立たない; fact6 -> int4: 仮に「この在院期間は嗜好であるかもしくはイダントでないかまたはどちらもである」ということは成り立たないならば住み良い; int3 & int4 -> int5: この在院期間は住み良い; int5 & fact2 -> hypothesis;
「そのハザード内は再石灰化であるかまたはましまさないか両方だ」ということは誤りだ
fact8 -> int6: もし仮にそのハザード内は誘えれば「再石灰化であるかそれはましまさない」ということは間違っている; fact9 -> int7: もしそのハザード内は取り過ぎないならばそれは誘えるし住み良い;
$facts$ = fact1: この在院期間が誘えるしその上まします fact2: 仮にこの在院期間が住み良いならばその人工栄養は取り過ぎる fact3: 仮にある物は誘えるとすると「嗜好であるかそれはイダントでない」ということは間違いである fact4: もしもとある物が取り過ぎないならそれは誘えるしおまけにそれは住み良い fact5: 「もしもその人工栄養が取り過ぎないかもしくはそれは再興するならばあのハザード内は取り過ぎない」ということは成り立つ fact6: 「「何らかのものは嗜好であるかまたはイダントでない」ということは成り立たないとすればそれは住み良い」ということは成り立つ fact7: もし仮になにがしかのものは誘えるとすると「再石灰化であるかもしくはましまさないかあるいはどちらもだ」ということは誤りである ; $hypothesis$ = その人工栄養は取り過ぎない ; $proof$ = 
fact3 -> int1: もしこの在院期間は誘えれば「嗜好であるかあるいはそれはイダントでないかまたは両方だ」ということは誤っている; fact1 -> int2: 「この在院期間は誘える」ということは誤っていない; int1 & int2 -> int3: 「この在院期間は嗜好であるかあるいはイダントでない」ということは成り立たない; fact6 -> int4: 仮に「この在院期間は嗜好であるかもしくはイダントでないかまたはどちらもである」ということは成り立たないならば住み良い; int3 & int4 -> int5: この在院期間は住み良い; int5 & fact2 -> hypothesis; __DISPROVED__
事実1: この在院期間が誘えるしその上まします
事実2: 仮にこの在院期間が住み良いならばその人工栄養は取り過ぎる
事実3: 仮にある物は誘えるとすると「嗜好であるかそれはイダントでない」ということは間違いである
事実4: もしもとある物が取り過ぎないならそれは誘えるしおまけにそれは住み良い
事実5: 「もしもその人工栄養が取り過ぎないかもしくはそれは再興するならばあのハザード内は取り過ぎない」ということは成り立つ
事実6: 「「何らかのものは嗜好であるかまたはイダントでない」ということは成り立たないとすればそれは住み良い」ということは成り立つ
事実7: もし仮になにがしかのものは誘えるとすると「再石灰化であるかもしくはましまさないかあるいはどちらもだ」ということは誤りである

仮説: その人工栄養は取り過ぎない
1. 事実3から、推論1: "もしこの在院期間は誘えれば「嗜好であるかあるいはそれはイダントでないかまたは両方だ」ということは誤っている"が導かれる
2. 事実1から、推論2: "「この在院期間は誘える」ということは誤っていない"が導かれる
3. 推論1と推論2から、推論3: "「この在院期間は嗜好であるかあるいはイダントでない」ということは成り立たない"が導かれる
4. 事実6から、推論4: "仮に「この在院期間は嗜好であるかもしくはイダントでないかまたはどちらもである」ということは成り立たないならば住み良い"が導かれる
5. 推論3と推論4から、推論5: "この在院期間は住み良い"が導かれる
6. 推論5と事実2から、仮説が否定される

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