あの訂正後はネット環境だ
fact1: もしもこの未必が小賢しいならばあのフランチャイジーは宛て名書きだ fact2: この未必が宛て名書きならばそのフランチャイジーは小賢しい fact3: もしもあの訂正後はむさくるしいとすれば「そのフランチャイジーは移り難くないし顕在化し易くない」ということは成り立たない fact4: 「この未必は小賢しい」ということは成り立つ fact5: もしそのフランチャイジーが宛て名書きならあの訂正後はネット環境だ fact6: もしもなにがしかの物が小賢しいということはない一方でそれは宛て名書きであるならばネット環境でない fact7: 「芥だしさらに竿先な」ものはある fact8: その異例は宛て名書きだ fact9: もしも「そのフランチャイジーは移り難くないしそれは顕在化し易くない」ということは誤りであるとすればこの未必は移り難くない fact10: もしもそのフランチャイジーがネット環境であるとするとあの訂正後は宛て名書きである fact11: そのフランチャイジーは小賢しい fact12: この未必は宛て名書きである fact13: もしこの未必が移り難くないならネット環境だししかも小賢しい
fact1 & fact4 -> int1: そのフランチャイジーは宛て名書きである; int1 & fact5 -> hypothesis;
あの訂正後はネット環境でない
fact14 -> int2: もしあの訂正後は小賢しくないが宛て名書きだとするとネット環境でない;
$facts$ = fact1: もしもこの未必が小賢しいならばあのフランチャイジーは宛て名書きだ fact2: この未必が宛て名書きならばそのフランチャイジーは小賢しい fact3: もしもあの訂正後はむさくるしいとすれば「そのフランチャイジーは移り難くないし顕在化し易くない」ということは成り立たない fact4: 「この未必は小賢しい」ということは成り立つ fact5: もしそのフランチャイジーが宛て名書きならあの訂正後はネット環境だ fact6: もしもなにがしかの物が小賢しいということはない一方でそれは宛て名書きであるならばネット環境でない fact7: 「芥だしさらに竿先な」ものはある fact8: その異例は宛て名書きだ fact9: もしも「そのフランチャイジーは移り難くないしそれは顕在化し易くない」ということは誤りであるとすればこの未必は移り難くない fact10: もしもそのフランチャイジーがネット環境であるとするとあの訂正後は宛て名書きである fact11: そのフランチャイジーは小賢しい fact12: この未必は宛て名書きである fact13: もしこの未必が移り難くないならネット環境だししかも小賢しい ; $hypothesis$ = あの訂正後はネット環境だ ; $proof$ = 
fact1 & fact4 -> int1: そのフランチャイジーは宛て名書きである; int1 & fact5 -> hypothesis; __PROVED__
事実1: もしもこの未必が小賢しいならばあのフランチャイジーは宛て名書きだ
事実2: この未必が宛て名書きならばそのフランチャイジーは小賢しい
事実3: もしもあの訂正後はむさくるしいとすれば「そのフランチャイジーは移り難くないし顕在化し易くない」ということは成り立たない
事実4: 「この未必は小賢しい」ということは成り立つ
事実5: もしそのフランチャイジーが宛て名書きならあの訂正後はネット環境だ
事実6: もしもなにがしかの物が小賢しいということはない一方でそれは宛て名書きであるならばネット環境でない
事実7: 「芥だしさらに竿先な」ものはある
事実8: その異例は宛て名書きだ
事実9: もしも「そのフランチャイジーは移り難くないしそれは顕在化し易くない」ということは誤りであるとすればこの未必は移り難くない
事実10: もしもそのフランチャイジーがネット環境であるとするとあの訂正後は宛て名書きである
事実11: そのフランチャイジーは小賢しい
事実12: この未必は宛て名書きである
事実13: もしこの未必が移り難くないならネット環境だししかも小賢しい

仮説: あの訂正後はネット環境だ
1. 事実1と事実4から、推論1: "そのフランチャイジーは宛て名書きである"が導かれる
2. 推論1と事実5から、仮説が導かれる

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