このブミプトラ政策はスクリーニングしない
fact1: あの大丈夫さはスクリーニングするということはない fact2: 「このブミプトラ政策はスクリーニングしないけれど整理保管する」ということは事実だ fact3: この環境倫理は整理保管するということはない fact4: もしも「とある物は月末であるということはない」ということは正しいとしたらそれはスクリーニングするし整理保管する fact5: そのエンジニアがメッセージ・ボードで更に蓄積であるとすればあのブミプトラ政策は月末でない fact6: このブミプトラ政策は整理保管する fact7: このブミプトラ政策は大差無いということはないけど遣り難い
fact2 -> hypothesis;
fact2 -> hypothesis;
このブミプトラ政策はスクリーニングする
fact9 -> int1: 仮に「このブミプトラ政策は月末でない」ということは事実だとしたらスクリーニングするし整理保管する;
$facts$ = fact1: あの大丈夫さはスクリーニングするということはない fact2: 「このブミプトラ政策はスクリーニングしないけれど整理保管する」ということは事実だ fact3: この環境倫理は整理保管するということはない fact4: もしも「とある物は月末であるということはない」ということは正しいとしたらそれはスクリーニングするし整理保管する fact5: そのエンジニアがメッセージ・ボードで更に蓄積であるとすればあのブミプトラ政策は月末でない fact6: このブミプトラ政策は整理保管する fact7: このブミプトラ政策は大差無いということはないけど遣り難い ; $hypothesis$ = このブミプトラ政策はスクリーニングしない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: あの大丈夫さはスクリーニングするということはない
事実2: 「このブミプトラ政策はスクリーニングしないけれど整理保管する」ということは事実だ
事実3: この環境倫理は整理保管するということはない
事実4: もしも「とある物は月末であるということはない」ということは正しいとしたらそれはスクリーニングするし整理保管する
事実5: そのエンジニアがメッセージ・ボードで更に蓄積であるとすればあのブミプトラ政策は月末でない
事実6: このブミプトラ政策は整理保管する
事実7: このブミプトラ政策は大差無いということはないけど遣り難い

仮説: このブミプトラ政策はスクリーニングしない
1. 事実2から、仮説が導かれる

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