この依拠は注射する
fact1: この依拠は事業年数であるし齎し易い fact2: しがなくない物は注射するし言い出せる fact3: もしこの依拠がマーケットイン型でありその上しがないとすればあの国政調査はしがなくない fact4: この依拠は言い出せる fact5: この依拠は注射するし加えて言い出せる fact6: この依拠は汚れ易くてまた心地良い
fact5 -> hypothesis;
fact5 -> hypothesis;
あの国政調査は言い出せる
fact8 -> int1: 仮にあの国政調査がしがなくないとしたら注射するしさらに言い出せる;
$facts$ = fact1: この依拠は事業年数であるし齎し易い fact2: しがなくない物は注射するし言い出せる fact3: もしこの依拠がマーケットイン型でありその上しがないとすればあの国政調査はしがなくない fact4: この依拠は言い出せる fact5: この依拠は注射するし加えて言い出せる fact6: この依拠は汚れ易くてまた心地良い ; $hypothesis$ = この依拠は注射する ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: この依拠は事業年数であるし齎し易い
事実2: しがなくない物は注射するし言い出せる
事実3: もしこの依拠がマーケットイン型でありその上しがないとすればあの国政調査はしがなくない
事実4: この依拠は言い出せる
事実5: この依拠は注射するし加えて言い出せる
事実6: この依拠は汚れ易くてまた心地良い

仮説: この依拠は注射する
1. 事実5から、仮説が導かれる

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