その当方言が運動的アプローチでしかも心得るとしたらあの吾妹は時流であるということはない
fact1: もし仮にあの吾妹は時流だしその上受け辛いとしたら「あの論旨は心得ない」ということは正しい fact2: もしもあの論旨が受け辛くてかつ握り直すならあの吾妹は時流でない fact3: もし仮にその当方言が心得るとするとあの論旨は受け辛い fact4: その当方言は心得るしそれに受け辛い fact5: あの吾妹は日本信用保証だしおまけに握り直す fact6: なんらかの物が思し召さないがそれが砂糖君であるとすればあの論旨は握り直す fact7: 仮になんらかのものが思し召すということはなくてそれに砂糖君でないならあの論旨は握り直す fact8: その当方言は運動的アプローチである fact9: あるものは思し召さないし砂糖君でない fact10: 「「砂糖君でない」ということは確かである」ものはある
void -> assump1: 以下のように仮定する。その当方言は運動的アプローチであるしそれは心得る; assump1 -> int1: その当方言は心得る; int1 & fact3 -> int2: あの論旨は受け辛い; fact7 & fact9 -> int3: 「あの論旨は握り直す」ということは事実である; int2 & int3 -> int4: あの論旨が受け辛いしその上握り直す; int4 & fact2 -> int5: あの吾妹は時流でない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もし仮にあの吾妹は時流だしその上受け辛いとしたら「あの論旨は心得ない」ということは正しい fact2: もしもあの論旨が受け辛くてかつ握り直すならあの吾妹は時流でない fact3: もし仮にその当方言が心得るとするとあの論旨は受け辛い fact4: その当方言は心得るしそれに受け辛い fact5: あの吾妹は日本信用保証だしおまけに握り直す fact6: なんらかの物が思し召さないがそれが砂糖君であるとすればあの論旨は握り直す fact7: 仮になんらかのものが思し召すということはなくてそれに砂糖君でないならあの論旨は握り直す fact8: その当方言は運動的アプローチである fact9: あるものは思し召さないし砂糖君でない fact10: 「「砂糖君でない」ということは確かである」ものはある ; $hypothesis$ = その当方言が運動的アプローチでしかも心得るとしたらあの吾妹は時流であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その当方言は運動的アプローチであるしそれは心得る; assump1 -> int1: その当方言は心得る; int1 & fact3 -> int2: あの論旨は受け辛い; fact7 & fact9 -> int3: 「あの論旨は握り直す」ということは事実である; int2 & int3 -> int4: あの論旨が受け辛いしその上握り直す; int4 & fact2 -> int5: あの吾妹は時流でない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮にあの吾妹は時流だしその上受け辛いとしたら「あの論旨は心得ない」ということは正しい
事実2: もしもあの論旨が受け辛くてかつ握り直すならあの吾妹は時流でない
事実3: もし仮にその当方言が心得るとするとあの論旨は受け辛い
事実4: その当方言は心得るしそれに受け辛い
事実5: あの吾妹は日本信用保証だしおまけに握り直す
事実6: なんらかの物が思し召さないがそれが砂糖君であるとすればあの論旨は握り直す
事実7: 仮になんらかのものが思し召すということはなくてそれに砂糖君でないならあの論旨は握り直す
事実8: その当方言は運動的アプローチである
事実9: あるものは思し召さないし砂糖君でない
事実10: 「「砂糖君でない」ということは確かである」ものはある

仮説: その当方言が運動的アプローチでしかも心得るとしたらあの吾妹は時流であるということはない
1. 仮定1: 以下のように仮定する。その当方言は運動的アプローチであるしそれは心得る
2. 仮定1から、推論1: "その当方言は心得る"が導かれる
3. 推論1と事実3から、推論2: "あの論旨は受け辛い"が導かれる
4. 事実7と事実9から、推論3: "「あの論旨は握り直す」ということは事実である"が導かれる
5. 推論2と推論3から、推論4: "あの論旨が受け辛いしその上握り直す"が導かれる
6. 推論4と事実2から、推論5: "あの吾妹は時流でない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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