あの女遊びは御送り致す
fact1: もしこの食品ラベルはぼろいとしたら「あの女遊びは御送り致す」ということは成り立つ fact2: あの女遊びは御送り致すかもしくはそれは話し出すかあるいは両方ともである fact3: 「あの女遊びはぼろい」ということは成り立つ fact4: もし仮にあの女遊びがぼろいならばあの食品ラベルは御送り致す fact5: この食品ラベルはぼろいということはないなら「あの女遊びは話し出すしさらに御送り致す」ということは成り立つということはない fact6: この食品ラベルはぼろいかもしくは話し出すかあるいはどちらもである fact7: もしこの食品ラベルが話し出すとするとあの女遊びは御送り致す
fact6 & fact1 & fact7 -> hypothesis;
fact6 & fact1 & fact7 -> hypothesis;
「あの女遊びは御送り致さない」ということは本当だ
$facts$ = fact1: もしこの食品ラベルはぼろいとしたら「あの女遊びは御送り致す」ということは成り立つ fact2: あの女遊びは御送り致すかもしくはそれは話し出すかあるいは両方ともである fact3: 「あの女遊びはぼろい」ということは成り立つ fact4: もし仮にあの女遊びがぼろいならばあの食品ラベルは御送り致す fact5: この食品ラベルはぼろいということはないなら「あの女遊びは話し出すしさらに御送り致す」ということは成り立つということはない fact6: この食品ラベルはぼろいかもしくは話し出すかあるいはどちらもである fact7: もしこの食品ラベルが話し出すとするとあの女遊びは御送り致す ; $hypothesis$ = あの女遊びは御送り致す ; $proof$ = 
fact6 & fact1 & fact7 -> hypothesis; __PROVED__
事実1: もしこの食品ラベルはぼろいとしたら「あの女遊びは御送り致す」ということは成り立つ
事実2: あの女遊びは御送り致すかもしくはそれは話し出すかあるいは両方ともである
事実3: 「あの女遊びはぼろい」ということは成り立つ
事実4: もし仮にあの女遊びがぼろいならばあの食品ラベルは御送り致す
事実5: この食品ラベルはぼろいということはないなら「あの女遊びは話し出すしさらに御送り致す」ということは成り立つということはない
事実6: この食品ラベルはぼろいかもしくは話し出すかあるいはどちらもである
事実7: もしこの食品ラベルが話し出すとするとあの女遊びは御送り致す

仮説: あの女遊びは御送り致す
1. 事実6と事実1と事実7から、仮説が導かれる

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