この金粉はまだるっこしい
fact1: もし仮にその放射環境が宇宙通信でないとすればプロらしくないししかも利用し易いということはない fact2: この金粉は潔い fact3: 「この金粉はまだるっこしい」ということは事実である fact4: この介護療養型医療施設はまだるっこしい fact5: この金粉は確からしくないとすれば「この酸化劣化は倍増するかもしくは引き易くない」ということは成り立つということはない fact6: この金粉は疎外する fact7: その軒端はまだるっこしい fact8: この山の手殿はまだるっこしい fact9: あの出版物はまだるっこしい fact10: この金粉はドクターアドバイスである fact11: この金粉は苦悩する fact12: 「この金粉はまぶいである」ということは事実だ fact13: このハインケルＨＥはまだるっこしい fact14: この金粉は切り抜く fact15: この金粉は油っぽい fact16: この陣触れはまだるっこしい fact17: もし仮に「なにかは倍増するかそれは引き易いということはないかまたは両方だ」ということは誤りだとしたらそれはまだるっこしい fact18: あの放射線量はまだるっこしい fact19: この金粉は執行する
fact3 -> hypothesis;
この酸化劣化はまだるっこしい
fact20 -> int1: 「この酸化劣化は倍増するかまたは引き易いということはないかもしくはどちらもである」ということは間違いだとしたらそれはまだるっこしい;
$facts$ = fact1: もし仮にその放射環境が宇宙通信でないとすればプロらしくないししかも利用し易いということはない fact2: この金粉は潔い fact3: 「この金粉はまだるっこしい」ということは事実である fact4: この介護療養型医療施設はまだるっこしい fact5: この金粉は確からしくないとすれば「この酸化劣化は倍増するかもしくは引き易くない」ということは成り立つということはない fact6: この金粉は疎外する fact7: その軒端はまだるっこしい fact8: この山の手殿はまだるっこしい fact9: あの出版物はまだるっこしい fact10: この金粉はドクターアドバイスである fact11: この金粉は苦悩する fact12: 「この金粉はまぶいである」ということは事実だ fact13: このハインケルＨＥはまだるっこしい fact14: この金粉は切り抜く fact15: この金粉は油っぽい fact16: この陣触れはまだるっこしい fact17: もし仮に「なにかは倍増するかそれは引き易いということはないかまたは両方だ」ということは誤りだとしたらそれはまだるっこしい fact18: あの放射線量はまだるっこしい fact19: この金粉は執行する ; $hypothesis$ = この金粉はまだるっこしい ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮にその放射環境が宇宙通信でないとすればプロらしくないししかも利用し易いということはない
事実2: この金粉は潔い
事実3: 「この金粉はまだるっこしい」ということは事実である
事実4: この介護療養型医療施設はまだるっこしい
事実5: この金粉は確からしくないとすれば「この酸化劣化は倍増するかもしくは引き易くない」ということは成り立つということはない
事実6: この金粉は疎外する
事実7: その軒端はまだるっこしい
事実8: この山の手殿はまだるっこしい
事実9: あの出版物はまだるっこしい
事実10: この金粉はドクターアドバイスである
事実11: この金粉は苦悩する
事実12: 「この金粉はまぶいである」ということは事実だ
事実13: このハインケルＨＥはまだるっこしい
事実14: この金粉は切り抜く
事実15: この金粉は油っぽい
事実16: この陣触れはまだるっこしい
事実17: もし仮に「なにかは倍増するかそれは引き易いということはないかまたは両方だ」ということは誤りだとしたらそれはまだるっこしい
事実18: あの放射線量はまだるっこしい
事実19: この金粉は執行する

仮説: この金粉はまだるっこしい
1. 事実3から、仮説が導かれる

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