もしこの洗礼は内湯であるとしたらそれはＭＭＦであるということはない
fact1: もしも「この洗礼は内湯だ」ということは嘘でないならそれはＭＭＦだ fact2: もし仮になんらかの物が内湯ならばそれはＭＭＦでない fact3: もし「とある物は腹立たしい」ということは成り立つとすればそれは勤務地異動だ fact4: 内湯はＭＭＦである
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もしも「この洗礼は内湯だ」ということは嘘でないならそれはＭＭＦだ fact2: もし仮になんらかの物が内湯ならばそれはＭＭＦでない fact3: もし「とある物は腹立たしい」ということは成り立つとすればそれは勤務地異動だ fact4: 内湯はＭＭＦである ; $hypothesis$ = もしこの洗礼は内湯であるとしたらそれはＭＭＦであるということはない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしも「この洗礼は内湯だ」ということは嘘でないならそれはＭＭＦだ
事実2: もし仮になんらかの物が内湯ならばそれはＭＭＦでない
事実3: もし「とある物は腹立たしい」ということは成り立つとすればそれは勤務地異動だ
事実4: 内湯はＭＭＦである

仮説: もしこの洗礼は内湯であるとしたらそれはＭＭＦであるということはない
1. 事実2から、仮説が導かれる

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