その追悼式は合いする
fact1: なにがしかのものは付随業務でないけど新記録だ fact2: もしも「再検しないし購入価額な」物があるとするとその追悼式は合いしない fact3: 仮になにかはＯＲＦだということはないけれど合いするならばあの追悼式は曝け出せらない fact4: その追悼式は入出力関係でない fact5: あのラスティーは再検するということはない fact6: 食べ易い高はある fact7: もしも「胡散臭くなくて加えて御美しい」ものがあるならばあの膣襞は落とし込まない fact8: 「「再検しないし購入価額である」物はある」ということは成り立つ fact9: 「直線距離だし契約上な」ものはある fact10: 「ＮＳＳ‐ＣＡであるということはない」ものはある fact11: 「多し」物はある fact12: 「「信者等であるということはない」ということは成り立つ」ものはある fact13: その追悼式は再検しない fact14: 「合いする」物はある fact15: 「檜である」ものはある fact16: その追悼式は購入価額でない fact17: 「合いしない」物はある fact18: 「同節でない」ものはある fact19: 何らかの物はふわふわするし歩き易い
fact8 & fact2 -> hypothesis;
fact8 & fact2 -> hypothesis;
$facts$ = fact1: なにがしかのものは付随業務でないけど新記録だ fact2: もしも「再検しないし購入価額な」物があるとするとその追悼式は合いしない fact3: 仮になにかはＯＲＦだということはないけれど合いするならばあの追悼式は曝け出せらない fact4: その追悼式は入出力関係でない fact5: あのラスティーは再検するということはない fact6: 食べ易い高はある fact7: もしも「胡散臭くなくて加えて御美しい」ものがあるならばあの膣襞は落とし込まない fact8: 「「再検しないし購入価額である」物はある」ということは成り立つ fact9: 「直線距離だし契約上な」ものはある fact10: 「ＮＳＳ‐ＣＡであるということはない」ものはある fact11: 「多し」物はある fact12: 「「信者等であるということはない」ということは成り立つ」ものはある fact13: その追悼式は再検しない fact14: 「合いする」物はある fact15: 「檜である」ものはある fact16: その追悼式は購入価額でない fact17: 「合いしない」物はある fact18: 「同節でない」ものはある fact19: 何らかの物はふわふわするし歩き易い ; $hypothesis$ = その追悼式は合いする ; $proof$ = 
fact8 & fact2 -> hypothesis; __DISPROVED__
事実1: なにがしかのものは付随業務でないけど新記録だ
事実2: もしも「再検しないし購入価額な」物があるとするとその追悼式は合いしない
事実3: 仮になにかはＯＲＦだということはないけれど合いするならばあの追悼式は曝け出せらない
事実4: その追悼式は入出力関係でない
事実5: あのラスティーは再検するということはない
事実6: 食べ易い高はある
事実7: もしも「胡散臭くなくて加えて御美しい」ものがあるならばあの膣襞は落とし込まない
事実8: 「「再検しないし購入価額である」物はある」ということは成り立つ
事実9: 「直線距離だし契約上な」ものはある
事実10: 「ＮＳＳ‐ＣＡであるということはない」ものはある
事実11: 「多し」物はある
事実12: 「「信者等であるということはない」ということは成り立つ」ものはある
事実13: その追悼式は再検しない
事実14: 「合いする」物はある
事実15: 「檜である」ものはある
事実16: その追悼式は購入価額でない
事実17: 「合いしない」物はある
事実18: 「同節でない」ものはある
事実19: 何らかの物はふわふわするし歩き易い

仮説: その追悼式は合いする
1. 事実8と事実2から、仮説が否定される

よって、仮説が否定されました。