あのスタンダードは専念するということはない
fact1: このＴゾーンは専念するがしかしそれは見られ易いということはない fact2: あのスタンダードは起こり難い fact3: もし仮にこの粒界が部分荷重である一方でそれが断定し難くないとするとあのスタンダードは専念しない fact4: この粒界は部分荷重であるがしかしそれは専念しない fact5: この粒界は疲労し易いけど盗賊でない fact6: 「この粒界は断定し難いけど専念しない」ということは真実であるならば「あのスタンダードは部分荷重でない」ということは真実である fact7: 「その慰安は専念しない」ということは正しい fact8: あのスタンダードは気持ち良いがしかし動き易くない fact9: この粒界はか弱いけれど専念しない fact10: あのスタンダードは部分荷重でない fact11: あの御開きは断定し難くない fact12: もしもこの粒界が部分荷重だけど専念しないならあのスタンダードは断定し難いということはない fact13: もしあのスタンダードが部分荷重であるけれど断定し難くないとすればこの粒界は専念しない fact14: この粒界が専念する一方で断定し難くないならあのスタンダードは部分荷重でない fact15: 「この粒界は質地だ」ということは事実だ fact16: この粒界はすばしこい fact17: もし仮にあのスタンダードが断定し難いがしかし専念しないならばあの粒界は部分荷重であるということはない fact18: あのスタンダードは減縮する fact19: あのスタンダードは断定し難くない fact20: この粒界が部分荷重だけどそれは断定し難いということはない
fact3 & fact20 -> hypothesis;
fact3 & fact20 -> hypothesis;
$facts$ = fact1: このＴゾーンは専念するがしかしそれは見られ易いということはない fact2: あのスタンダードは起こり難い fact3: もし仮にこの粒界が部分荷重である一方でそれが断定し難くないとするとあのスタンダードは専念しない fact4: この粒界は部分荷重であるがしかしそれは専念しない fact5: この粒界は疲労し易いけど盗賊でない fact6: 「この粒界は断定し難いけど専念しない」ということは真実であるならば「あのスタンダードは部分荷重でない」ということは真実である fact7: 「その慰安は専念しない」ということは正しい fact8: あのスタンダードは気持ち良いがしかし動き易くない fact9: この粒界はか弱いけれど専念しない fact10: あのスタンダードは部分荷重でない fact11: あの御開きは断定し難くない fact12: もしもこの粒界が部分荷重だけど専念しないならあのスタンダードは断定し難いということはない fact13: もしあのスタンダードが部分荷重であるけれど断定し難くないとすればこの粒界は専念しない fact14: この粒界が専念する一方で断定し難くないならあのスタンダードは部分荷重でない fact15: 「この粒界は質地だ」ということは事実だ fact16: この粒界はすばしこい fact17: もし仮にあのスタンダードが断定し難いがしかし専念しないならばあの粒界は部分荷重であるということはない fact18: あのスタンダードは減縮する fact19: あのスタンダードは断定し難くない fact20: この粒界が部分荷重だけどそれは断定し難いということはない ; $hypothesis$ = あのスタンダードは専念するということはない ; $proof$ = 
fact3 & fact20 -> hypothesis; __PROVED__
事実1: このＴゾーンは専念するがしかしそれは見られ易いということはない
事実2: あのスタンダードは起こり難い
事実3: もし仮にこの粒界が部分荷重である一方でそれが断定し難くないとするとあのスタンダードは専念しない
事実4: この粒界は部分荷重であるがしかしそれは専念しない
事実5: この粒界は疲労し易いけど盗賊でない
事実6: 「この粒界は断定し難いけど専念しない」ということは真実であるならば「あのスタンダードは部分荷重でない」ということは真実である
事実7: 「その慰安は専念しない」ということは正しい
事実8: あのスタンダードは気持ち良いがしかし動き易くない
事実9: この粒界はか弱いけれど専念しない
事実10: あのスタンダードは部分荷重でない
事実11: あの御開きは断定し難くない
事実12: もしもこの粒界が部分荷重だけど専念しないならあのスタンダードは断定し難いということはない
事実13: もしあのスタンダードが部分荷重であるけれど断定し難くないとすればこの粒界は専念しない
事実14: この粒界が専念する一方で断定し難くないならあのスタンダードは部分荷重でない
事実15: 「この粒界は質地だ」ということは事実だ
事実16: この粒界はすばしこい
事実17: もし仮にあのスタンダードが断定し難いがしかし専念しないならばあの粒界は部分荷重であるということはない
事実18: あのスタンダードは減縮する
事実19: あのスタンダードは断定し難くない
事実20: この粒界が部分荷重だけどそれは断定し難いということはない

仮説: あのスタンダードは専念するということはない
1. 事実3と事実20から、仮説が導かれる

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