この二台分はめでたい
fact1: もしもなんらかのものは漏れるとすれば「それは皮膚保護パウダーでなくてそれはめでたい」ということは成り立たない fact2: あの殺菌力は漏れる fact3: もし仮にあの殺菌力がめでたいかもしくはそれは漏れないならば「この二台分はめでたくない」ということは偽でない fact4: あの殺菌力は皮膚保護パウダーであるし漏れる fact5: 仮にあの殺菌力が皮膚保護パウダーであるとしたらこの二台分はめでたい fact6: この二台分は皮膚保護パウダーであるし冬らしい
fact4 -> int1: あの殺菌力は皮膚保護パウダーだ; int1 & fact5 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact5 -> hypothesis;
この二台分はめでたくない
$facts$ = fact1: もしもなんらかのものは漏れるとすれば「それは皮膚保護パウダーでなくてそれはめでたい」ということは成り立たない fact2: あの殺菌力は漏れる fact3: もし仮にあの殺菌力がめでたいかもしくはそれは漏れないならば「この二台分はめでたくない」ということは偽でない fact4: あの殺菌力は皮膚保護パウダーであるし漏れる fact5: 仮にあの殺菌力が皮膚保護パウダーであるとしたらこの二台分はめでたい fact6: この二台分は皮膚保護パウダーであるし冬らしい ; $hypothesis$ = この二台分はめでたい ; $proof$ = 
fact4 -> int1: あの殺菌力は皮膚保護パウダーだ; int1 & fact5 -> hypothesis; __PROVED__
事実1: もしもなんらかのものは漏れるとすれば「それは皮膚保護パウダーでなくてそれはめでたい」ということは成り立たない
事実2: あの殺菌力は漏れる
事実3: もし仮にあの殺菌力がめでたいかもしくはそれは漏れないならば「この二台分はめでたくない」ということは偽でない
事実4: あの殺菌力は皮膚保護パウダーであるし漏れる
事実5: 仮にあの殺菌力が皮膚保護パウダーであるとしたらこの二台分はめでたい
事実6: この二台分は皮膚保護パウダーであるし冬らしい

仮説: この二台分はめでたい
1. 事実4から、推論1: "あの殺菌力は皮膚保護パウダーだ"が導かれる
2. 推論1と事実5から、仮説が導かれる

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