あの中年女は可変であるけど混入し易いということはない
fact1: この一手法が恥ずかしくないとするとあの中年女は可変だ fact2: 仮にこの一手法が可変でないとしたらあの中年女は混入し易いけれど恥ずかしくない fact3: あの中年女はアルコール中毒だ fact4: この一手法は恥ずかしくない fact5: その駐車場は恥ずかしくない fact6: 「仮にこの一手法が恥ずかしくないとするとあの中年女は可変であるがしかし混入し易いということはない」ということは成り立つ fact7: この当座資産は可変でない fact8: あの中年女は第三次埋葬だがおっきいということはない fact9: あの中年女は恥ずかしくない fact10: この一手法は混入し易くない
fact6 & fact4 -> hypothesis;
fact6 & fact4 -> hypothesis;
$facts$ = fact1: この一手法が恥ずかしくないとするとあの中年女は可変だ fact2: 仮にこの一手法が可変でないとしたらあの中年女は混入し易いけれど恥ずかしくない fact3: あの中年女はアルコール中毒だ fact4: この一手法は恥ずかしくない fact5: その駐車場は恥ずかしくない fact6: 「仮にこの一手法が恥ずかしくないとするとあの中年女は可変であるがしかし混入し易いということはない」ということは成り立つ fact7: この当座資産は可変でない fact8: あの中年女は第三次埋葬だがおっきいということはない fact9: あの中年女は恥ずかしくない fact10: この一手法は混入し易くない ; $hypothesis$ = あの中年女は可変であるけど混入し易いということはない ; $proof$ = 
fact6 & fact4 -> hypothesis; __PROVED__
事実1: この一手法が恥ずかしくないとするとあの中年女は可変だ
事実2: 仮にこの一手法が可変でないとしたらあの中年女は混入し易いけれど恥ずかしくない
事実3: あの中年女はアルコール中毒だ
事実4: この一手法は恥ずかしくない
事実5: その駐車場は恥ずかしくない
事実6: 「仮にこの一手法が恥ずかしくないとするとあの中年女は可変であるがしかし混入し易いということはない」ということは成り立つ
事実7: この当座資産は可変でない
事実8: あの中年女は第三次埋葬だがおっきいということはない
事実9: あの中年女は恥ずかしくない
事実10: この一手法は混入し易くない

仮説: あの中年女は可変であるけど混入し易いということはない
1. 事実6と事実4から、仮説が導かれる

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