あの出会い系は木目細かい
fact1: 方墳は再発行する fact2: もし「あの出会い系は再発行する」ということは真実であるとすればそれは左右され易い fact3: 「あの出会い系は再発行する」ということは本当だ fact4: あの出会い系は茹でる fact5: もしも「あの出会い系は再発行する」ということは正しいとすればそれは木目細かい fact6: 仮にこの細菌感染が次女なら再発行する fact7: あの出会い系は古い
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
もしあの出会い系は方墳であるならばそれは再発行する
fact8 -> hypothesis;
$facts$ = fact1: 方墳は再発行する fact2: もし「あの出会い系は再発行する」ということは真実であるとすればそれは左右され易い fact3: 「あの出会い系は再発行する」ということは本当だ fact4: あの出会い系は茹でる fact5: もしも「あの出会い系は再発行する」ということは正しいとすればそれは木目細かい fact6: 仮にこの細菌感染が次女なら再発行する fact7: あの出会い系は古い ; $hypothesis$ = あの出会い系は木目細かい ; $proof$ = 
fact5 & fact3 -> hypothesis; __PROVED__
事実1: 方墳は再発行する
事実2: もし「あの出会い系は再発行する」ということは真実であるとすればそれは左右され易い
事実3: 「あの出会い系は再発行する」ということは本当だ
事実4: あの出会い系は茹でる
事実5: もしも「あの出会い系は再発行する」ということは正しいとすればそれは木目細かい
事実6: 仮にこの細菌感染が次女なら再発行する
事実7: あの出会い系は古い

仮説: あの出会い系は木目細かい
1. 事実5と事実3から、仮説が導かれる

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