このラマン散乱が住み易いならばその奉公は切り離し難い
fact1: 「「住み易い」ということは本当な」物はある fact2: もし仮に何かは心意でないとすると住み易いししかもそれは切り離し難い fact3: 「心意である」物はある fact4: このラマン散乱は住み易いしまた切り離し難い fact5: もしもこのラマン散乱が暗いということはないならあの四分の一以上は心意であるということはない fact6: このラマン散乱は心意だ fact7: もし仮に心意が切り離し難いならばこのラマン散乱は住み易い fact8: もしも住み易い物が心意だとしたらその奉公は切り離し難い fact9: 「とあるものは心意であるしそれに切り離し難い」ということは成り立つ fact10: あの合意書は考え深くてまたそれは切り離し難い
void -> assump1: 以下のように仮定する。「このラマン散乱は住み易い」ということは事実である; assump1 & fact6 -> int1: このラマン散乱は住み易い物で更に心意だ; int1 -> int2: なんらかのものは住み易いしそれにそれは心意である; int2 & fact8 -> int3: その奉公は切り離し難い; [assump1] & int3 -> hypothesis;
あの四分の一以上は切り離し難い
fact12 -> int4: もしあの四分の一以上は心意でないとしたら住み易くてまた切り離し難い;
$facts$ = fact1: 「「住み易い」ということは本当な」物はある fact2: もし仮に何かは心意でないとすると住み易いししかもそれは切り離し難い fact3: 「心意である」物はある fact4: このラマン散乱は住み易いしまた切り離し難い fact5: もしもこのラマン散乱が暗いということはないならあの四分の一以上は心意であるということはない fact6: このラマン散乱は心意だ fact7: もし仮に心意が切り離し難いならばこのラマン散乱は住み易い fact8: もしも住み易い物が心意だとしたらその奉公は切り離し難い fact9: 「とあるものは心意であるしそれに切り離し難い」ということは成り立つ fact10: あの合意書は考え深くてまたそれは切り離し難い ; $hypothesis$ = このラマン散乱が住み易いならばその奉公は切り離し難い ; $proof$ = 
void -> assump1: 以下のように仮定する。「このラマン散乱は住み易い」ということは事実である; assump1 & fact6 -> int1: このラマン散乱は住み易い物で更に心意だ; int1 -> int2: なんらかのものは住み易いしそれにそれは心意である; int2 & fact8 -> int3: その奉公は切り離し難い; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「「住み易い」ということは本当な」物はある
事実2: もし仮に何かは心意でないとすると住み易いししかもそれは切り離し難い
事実3: 「心意である」物はある
事実4: このラマン散乱は住み易いしまた切り離し難い
事実5: もしもこのラマン散乱が暗いということはないならあの四分の一以上は心意であるということはない
事実6: このラマン散乱は心意だ
事実7: もし仮に心意が切り離し難いならばこのラマン散乱は住み易い
事実8: もしも住み易い物が心意だとしたらその奉公は切り離し難い
事実9: 「とあるものは心意であるしそれに切り離し難い」ということは成り立つ
事実10: あの合意書は考え深くてまたそれは切り離し難い

仮説: このラマン散乱が住み易いならばその奉公は切り離し難い
1. 仮定1: 以下のように仮定する。「このラマン散乱は住み易い」ということは事実である
2. 仮定1と事実6から、推論1: "このラマン散乱は住み易い物で更に心意だ"が導かれる
3. 推論1から、推論2: "なんらかのものは住み易いしそれにそれは心意である"が導かれる
4. 推論2と事実8から、推論3: "その奉公は切り離し難い"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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