その水素分子は地元企業でなくて移行し易くない
fact1: もしもあの電子情報が言い做すとしたらその水素分子は移行し易くない fact2: あの事業戦略は言い做す fact3: 仮に「何らかのものは言い做す」ということは真実だとすれば「それは移行し易い」ということは成り立つ fact4: 「その水素分子は移行し易くない」ということは成り立つ fact5: その一人っ子は補償出来なくて加えて言い做さない fact6: あの電子情報は言い做す fact7: もしあの電子情報が言い做すとすればその水素分子は地元企業でないしまたそれは移行し易いということはない fact8: 仮にあの電子情報が固定するとしたらこの飛距離は言い做す
fact7 & fact6 -> hypothesis;
fact7 & fact6 -> hypothesis;
この飛距離は移行し易い
fact9 -> int1: この飛距離が言い做すとしたらそれは移行し易い;
$facts$ = fact1: もしもあの電子情報が言い做すとしたらその水素分子は移行し易くない fact2: あの事業戦略は言い做す fact3: 仮に「何らかのものは言い做す」ということは真実だとすれば「それは移行し易い」ということは成り立つ fact4: 「その水素分子は移行し易くない」ということは成り立つ fact5: その一人っ子は補償出来なくて加えて言い做さない fact6: あの電子情報は言い做す fact7: もしあの電子情報が言い做すとすればその水素分子は地元企業でないしまたそれは移行し易いということはない fact8: 仮にあの電子情報が固定するとしたらこの飛距離は言い做す ; $hypothesis$ = その水素分子は地元企業でなくて移行し易くない ; $proof$ = 
fact7 & fact6 -> hypothesis; __PROVED__
事実1: もしもあの電子情報が言い做すとしたらその水素分子は移行し易くない
事実2: あの事業戦略は言い做す
事実3: 仮に「何らかのものは言い做す」ということは真実だとすれば「それは移行し易い」ということは成り立つ
事実4: 「その水素分子は移行し易くない」ということは成り立つ
事実5: その一人っ子は補償出来なくて加えて言い做さない
事実6: あの電子情報は言い做す
事実7: もしあの電子情報が言い做すとすればその水素分子は地元企業でないしまたそれは移行し易いということはない
事実8: 仮にあの電子情報が固定するとしたらこの飛距離は言い做す

仮説: その水素分子は地元企業でなくて移行し易くない
1. 事実7と事実6から、仮説が導かれる

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