この仏陀は出し易い
fact1: もしもなにかは活動期でないとするとそれは出し易くない fact2: このスプリントカートは出し易くない fact3: この仏陀は現われ出ない fact4: この仏陀は鈍くない fact5: もし仮にあるものが飽き足らないならばそれは出し易くてかつ現われ出る fact6: そのＳＬＧは現われ出ない fact7: この仏陀は入れ難くない fact8: この仏陀が出し易くないとすれば歳入でない fact9: もしもこの仏陀が出し易くないとしたらそれは内幕でない fact10: もしもこの仏陀が現われ出ないとしたらそれは出し易くない
fact10 & fact3 -> hypothesis;
このＶＲＡＭは活動期でないならば「出し易くない」ということは事実だ
fact11 -> hypothesis;
$facts$ = fact1: もしもなにかは活動期でないとするとそれは出し易くない fact2: このスプリントカートは出し易くない fact3: この仏陀は現われ出ない fact4: この仏陀は鈍くない fact5: もし仮にあるものが飽き足らないならばそれは出し易くてかつ現われ出る fact6: そのＳＬＧは現われ出ない fact7: この仏陀は入れ難くない fact8: この仏陀が出し易くないとすれば歳入でない fact9: もしもこの仏陀が出し易くないとしたらそれは内幕でない fact10: もしもこの仏陀が現われ出ないとしたらそれは出し易くない ; $hypothesis$ = この仏陀は出し易い ; $proof$ = 
fact10 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもなにかは活動期でないとするとそれは出し易くない
事実2: このスプリントカートは出し易くない
事実3: この仏陀は現われ出ない
事実4: この仏陀は鈍くない
事実5: もし仮にあるものが飽き足らないならばそれは出し易くてかつ現われ出る
事実6: そのＳＬＧは現われ出ない
事実7: この仏陀は入れ難くない
事実8: この仏陀が出し易くないとすれば歳入でない
事実9: もしもこの仏陀が出し易くないとしたらそれは内幕でない
事実10: もしもこの仏陀が現われ出ないとしたらそれは出し易くない

仮説: この仏陀は出し易い
1. 事実10と事実3から、仮説が否定される

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