この連結状況報告書は初診患者だということはない
fact1: 「暑過ぎるし更に弛い」ものはある fact2: この緑布は直り難くないとすれば「この連結状況報告書は直り難くない」ということは確かである fact3: もしも「「暑過ぎるししかも弛い」ということは間違いである」ものがあればこの緑布は解け易い fact4: もし仮にこの緑布は根切り工事でないとしたら暑過ぎない fact5: 「「暑過ぎるしそれに弛い」ということは成り立たない」物はある fact6: もしも「その見栄えは直り難くない」ということは成り立つとしたら「この連結状況報告書は解け易くない」ということは本当だ fact7: その戦国末期は安っぽい fact8: この集計処理は計上すらないし初診患者でない fact9: この連結状況報告書は適合する fact10: もし仮にこの緑布が直り難くないとするとこの連結状況報告書は初診患者でなくてかつ直り難くない fact11: 安っぽくない物は適合するけれど整頓しない fact12: もしも何らかの物は暑過ぎないとすれば「それは直り難いし更に弛い」ということは間違っている fact13: この連結状況報告書は直り難くない fact14: もし仮に「「適合するし解け易い」ということは成り立たない」ものがあればこの緑布は安っぽい fact15: 「弛くない」ものがあるとするとこの緑布は解け易い fact16: この連結状況報告書は大任であるということはない fact17: もし安っぽいものが解け易いならそれは直り難いということはない fact18: この緑布は適合する fact19: この緑布は適合するしその上安っぽい fact20: 解け易くない物は適合するか安っぽい fact21: この緑布は初診患者である fact22: 仮にとあるものは崩れ去るし更に吸収され難いとしたらキナーゼでない
fact19 -> int1: この緑布は安っぽい; fact3 & fact5 -> int2: この緑布は解け易い; int1 & int2 -> int3: この緑布は安っぽいし加えてそれは解け易い; fact17 -> int4: もし仮にこの緑布が安っぽいし解け易いとすればそれは直り難くない; int3 & int4 -> int5: 「この緑布は直り難くない」ということは真実だ; int5 & fact10 -> int6: この連結状況報告書は初診患者でなくてかつ直り難くない; int6 -> hypothesis;
この緑布は整頓しない
fact23 -> int7: もしこの緑布が安っぽくないならばそれは適合するしおまけに整頓しない;
$facts$ = fact1: 「暑過ぎるし更に弛い」ものはある fact2: この緑布は直り難くないとすれば「この連結状況報告書は直り難くない」ということは確かである fact3: もしも「「暑過ぎるししかも弛い」ということは間違いである」ものがあればこの緑布は解け易い fact4: もし仮にこの緑布は根切り工事でないとしたら暑過ぎない fact5: 「「暑過ぎるしそれに弛い」ということは成り立たない」物はある fact6: もしも「その見栄えは直り難くない」ということは成り立つとしたら「この連結状況報告書は解け易くない」ということは本当だ fact7: その戦国末期は安っぽい fact8: この集計処理は計上すらないし初診患者でない fact9: この連結状況報告書は適合する fact10: もし仮にこの緑布が直り難くないとするとこの連結状況報告書は初診患者でなくてかつ直り難くない fact11: 安っぽくない物は適合するけれど整頓しない fact12: もしも何らかの物は暑過ぎないとすれば「それは直り難いし更に弛い」ということは間違っている fact13: この連結状況報告書は直り難くない fact14: もし仮に「「適合するし解け易い」ということは成り立たない」ものがあればこの緑布は安っぽい fact15: 「弛くない」ものがあるとするとこの緑布は解け易い fact16: この連結状況報告書は大任であるということはない fact17: もし安っぽいものが解け易いならそれは直り難いということはない fact18: この緑布は適合する fact19: この緑布は適合するしその上安っぽい fact20: 解け易くない物は適合するか安っぽい fact21: この緑布は初診患者である fact22: 仮にとあるものは崩れ去るし更に吸収され難いとしたらキナーゼでない ; $hypothesis$ = この連結状況報告書は初診患者だということはない ; $proof$ = 
fact19 -> int1: この緑布は安っぽい; fact3 & fact5 -> int2: この緑布は解け易い; int1 & int2 -> int3: この緑布は安っぽいし加えてそれは解け易い; fact17 -> int4: もし仮にこの緑布が安っぽいし解け易いとすればそれは直り難くない; int3 & int4 -> int5: 「この緑布は直り難くない」ということは真実だ; int5 & fact10 -> int6: この連結状況報告書は初診患者でなくてかつ直り難くない; int6 -> hypothesis; __PROVED__
事実1: 「暑過ぎるし更に弛い」ものはある
事実2: この緑布は直り難くないとすれば「この連結状況報告書は直り難くない」ということは確かである
事実3: もしも「「暑過ぎるししかも弛い」ということは間違いである」ものがあればこの緑布は解け易い
事実4: もし仮にこの緑布は根切り工事でないとしたら暑過ぎない
事実5: 「「暑過ぎるしそれに弛い」ということは成り立たない」物はある
事実6: もしも「その見栄えは直り難くない」ということは成り立つとしたら「この連結状況報告書は解け易くない」ということは本当だ
事実7: その戦国末期は安っぽい
事実8: この集計処理は計上すらないし初診患者でない
事実9: この連結状況報告書は適合する
事実10: もし仮にこの緑布が直り難くないとするとこの連結状況報告書は初診患者でなくてかつ直り難くない
事実11: 安っぽくない物は適合するけれど整頓しない
事実12: もしも何らかの物は暑過ぎないとすれば「それは直り難いし更に弛い」ということは間違っている
事実13: この連結状況報告書は直り難くない
事実14: もし仮に「「適合するし解け易い」ということは成り立たない」ものがあればこの緑布は安っぽい
事実15: 「弛くない」ものがあるとするとこの緑布は解け易い
事実16: この連結状況報告書は大任であるということはない
事実17: もし安っぽいものが解け易いならそれは直り難いということはない
事実18: この緑布は適合する
事実19: この緑布は適合するしその上安っぽい
事実20: 解け易くない物は適合するか安っぽい
事実21: この緑布は初診患者である
事実22: 仮にとあるものは崩れ去るし更に吸収され難いとしたらキナーゼでない

仮説: この連結状況報告書は初診患者だということはない
1. 事実19から、推論1: "この緑布は安っぽい"が導かれる
2. 事実3と事実5から、推論2: "この緑布は解け易い"が導かれる
3. 推論1と推論2から、推論3: "この緑布は安っぽいし加えてそれは解け易い"が導かれる
4. 事実17から、推論4: "もし仮にこの緑布が安っぽいし解け易いとすればそれは直り難くない"が導かれる
5. 推論3と推論4から、推論5: "「この緑布は直り難くない」ということは真実だ"が導かれる
6. 推論5と事実10から、推論6: "この連結状況報告書は初診患者でなくてかつ直り難くない"が導かれる
7. 推論6から、仮説が導かれる

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