あの御伝言はモーニングスターでなくて助産師でない
fact1: もしもその取得期間内が顕在化し易いということはないとしたらあの御伝言はモーニングスターだということはないし更に助産師でない fact2: あの御伝言は実現し易い fact3: その取得期間内はシフトしないとすれば「「その御色直しはモーニングスターであるしそれに顕在化し易い」ということは偽だ」ということは本当だ fact4: もしあの御伝言がモーニングスターであるということはないならばその取得期間内は助産師でなくてそれは顕在化し易くない fact5: この下知状は紛るないしそれは及ばさない fact6: 仮にその取得期間内が顕在化し易くないとしたらあの御伝言は助産師でない fact7: もしも「あの御伝言は実現し易い」ということは事実であるならばシフトしない fact8: その取得期間内はエンジニアリングであるけど顕在化し易いということはない fact9: 仮に何らかの物はエンジニアリングであるとすると「モーニングスターでないしかつ助産師でない」ということは誤りである fact10: 「あの御伝言は助産師であるということはない」ということは本当だ fact11: 仮にその取得期間内が助産師でないならあの御伝言はエンジニアリングでなくて更にモーニングスターでない fact12: その取得期間内はエンジニアリングである fact13: 「なにかはモーニングスターであるしそれは顕在化し易い」ということは誤りだとすれば執り行わない fact14: あの御伝言は二試合でなくてその上発達途上でない
fact8 -> int1: その取得期間内は顕在化し易くない; int1 & fact1 -> hypothesis;
fact8 -> int1: ¬{B}{a}; int1 & fact1 -> hypothesis;
その御色直しは執り行わないしかつエンジニアリングでない
fact15 -> int2: もし仮に「その御色直しはモーニングスターであるしその上顕在化し易い」ということは成り立たないとすれば「執り行わない」ということは確かである; fact16 & fact17 -> int3: あの御伝言はシフトしない; int3 -> int4: あの御伝言は七日条でないかまたはそれはシフトしないかあるいは両方ともだ; int4 -> int5: なんらかの物は七日条でないかあるいはシフトしない;
$facts$ = fact1: もしもその取得期間内が顕在化し易いということはないとしたらあの御伝言はモーニングスターだということはないし更に助産師でない fact2: あの御伝言は実現し易い fact3: その取得期間内はシフトしないとすれば「「その御色直しはモーニングスターであるしそれに顕在化し易い」ということは偽だ」ということは本当だ fact4: もしあの御伝言がモーニングスターであるということはないならばその取得期間内は助産師でなくてそれは顕在化し易くない fact5: この下知状は紛るないしそれは及ばさない fact6: 仮にその取得期間内が顕在化し易くないとしたらあの御伝言は助産師でない fact7: もしも「あの御伝言は実現し易い」ということは事実であるならばシフトしない fact8: その取得期間内はエンジニアリングであるけど顕在化し易いということはない fact9: 仮に何らかの物はエンジニアリングであるとすると「モーニングスターでないしかつ助産師でない」ということは誤りである fact10: 「あの御伝言は助産師であるということはない」ということは本当だ fact11: 仮にその取得期間内が助産師でないならあの御伝言はエンジニアリングでなくて更にモーニングスターでない fact12: その取得期間内はエンジニアリングである fact13: 「なにかはモーニングスターであるしそれは顕在化し易い」ということは誤りだとすれば執り行わない fact14: あの御伝言は二試合でなくてその上発達途上でない ; $hypothesis$ = あの御伝言はモーニングスターでなくて助産師でない ; $proof$ = 
fact8 -> int1: その取得期間内は顕在化し易くない; int1 & fact1 -> hypothesis; __PROVED__
事実1: もしもその取得期間内が顕在化し易いということはないとしたらあの御伝言はモーニングスターだということはないし更に助産師でない
事実2: あの御伝言は実現し易い
事実3: その取得期間内はシフトしないとすれば「「その御色直しはモーニングスターであるしそれに顕在化し易い」ということは偽だ」ということは本当だ
事実4: もしあの御伝言がモーニングスターであるということはないならばその取得期間内は助産師でなくてそれは顕在化し易くない
事実5: この下知状は紛るないしそれは及ばさない
事実6: 仮にその取得期間内が顕在化し易くないとしたらあの御伝言は助産師でない
事実7: もしも「あの御伝言は実現し易い」ということは事実であるならばシフトしない
事実8: その取得期間内はエンジニアリングであるけど顕在化し易いということはない
事実9: 仮に何らかの物はエンジニアリングであるとすると「モーニングスターでないしかつ助産師でない」ということは誤りである
事実10: 「あの御伝言は助産師であるということはない」ということは本当だ
事実11: 仮にその取得期間内が助産師でないならあの御伝言はエンジニアリングでなくて更にモーニングスターでない
事実12: その取得期間内はエンジニアリングである
事実13: 「なにかはモーニングスターであるしそれは顕在化し易い」ということは誤りだとすれば執り行わない
事実14: あの御伝言は二試合でなくてその上発達途上でない

仮説: あの御伝言はモーニングスターでなくて助産師でない
1. 事実8から、推論1: "その取得期間内は顕在化し易くない"が導かれる
2. 推論1と事実1から、仮説が導かれる

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