あの充実強化は御考える
fact1: もしこの受信側は賑わうが立ち上がり掛けないなら御考える fact2: 「その総序は御考える」ということは真実である fact3: もし仮にこの受信側が賑わうとするとあの充実強化は御考える fact4: 仮に「あの充実強化は膨満するということはない」ということは真実だとすればこの受信側は賑わうけれどそれは立ち上がり掛けない fact5: この受信側は賑わう
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
この受信側は御考える
$facts$ = fact1: もしこの受信側は賑わうが立ち上がり掛けないなら御考える fact2: 「その総序は御考える」ということは真実である fact3: もし仮にこの受信側が賑わうとするとあの充実強化は御考える fact4: 仮に「あの充実強化は膨満するということはない」ということは真実だとすればこの受信側は賑わうけれどそれは立ち上がり掛けない fact5: この受信側は賑わう ; $hypothesis$ = あの充実強化は御考える ; $proof$ = 
fact3 & fact5 -> hypothesis; __PROVED__
事実1: もしこの受信側は賑わうが立ち上がり掛けないなら御考える
事実2: 「その総序は御考える」ということは真実である
事実3: もし仮にこの受信側が賑わうとするとあの充実強化は御考える
事実4: 仮に「あの充実強化は膨満するということはない」ということは真実だとすればこの受信側は賑わうけれどそれは立ち上がり掛けない
事実5: この受信側は賑わう

仮説: あの充実強化は御考える
1. 事実3と事実5から、仮説が導かれる

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