この自爆テロが非難はましくらないかまたは断定するか両方だ
fact1: この正面はトライアルメンバーである fact2: 仮にとあるものはトライアルメンバーでないとしたら「非難はましくらないかあるいは断定するかもしくは両方だ」ということは間違っている fact3: 一次資料はトライアルメンバーでない fact4: もしもこの自爆テロがトライアルメンバーならこの正面は断定しないかあるいはそれは非難がましいかもしくはどちらもである fact5: この自爆テロは非難がましいかまたは断定する fact6: あの大貴族達は断定する fact7: もし仮にこの正面がトライアルメンバーであるならこの自爆テロが非難はましくらないかあるいは断定するか両方ともである fact8: 仮にこの自爆テロは一次資料であるとすればトライアルメンバーだ fact9: 仮にこの正面がトライアルメンバーであるならばこの自爆テロは非難がましいかもしくは断定するかどちらもだ fact10: この正面が一次資料ならばこの自爆テロは一次資料だ
fact7 & fact1 -> hypothesis;
fact7 & fact1 -> hypothesis;
この自爆テロはトライアルメンバーだ
$facts$ = fact1: この正面はトライアルメンバーである fact2: 仮にとあるものはトライアルメンバーでないとしたら「非難はましくらないかあるいは断定するかもしくは両方だ」ということは間違っている fact3: 一次資料はトライアルメンバーでない fact4: もしもこの自爆テロがトライアルメンバーならこの正面は断定しないかあるいはそれは非難がましいかもしくはどちらもである fact5: この自爆テロは非難がましいかまたは断定する fact6: あの大貴族達は断定する fact7: もし仮にこの正面がトライアルメンバーであるならこの自爆テロが非難はましくらないかあるいは断定するか両方ともである fact8: 仮にこの自爆テロは一次資料であるとすればトライアルメンバーだ fact9: 仮にこの正面がトライアルメンバーであるならばこの自爆テロは非難がましいかもしくは断定するかどちらもだ fact10: この正面が一次資料ならばこの自爆テロは一次資料だ ; $hypothesis$ = この自爆テロが非難はましくらないかまたは断定するか両方だ ; $proof$ = 
fact7 & fact1 -> hypothesis; __PROVED__
事実1: この正面はトライアルメンバーである
事実2: 仮にとあるものはトライアルメンバーでないとしたら「非難はましくらないかあるいは断定するかもしくは両方だ」ということは間違っている
事実3: 一次資料はトライアルメンバーでない
事実4: もしもこの自爆テロがトライアルメンバーならこの正面は断定しないかあるいはそれは非難がましいかもしくはどちらもである
事実5: この自爆テロは非難がましいかまたは断定する
事実6: あの大貴族達は断定する
事実7: もし仮にこの正面がトライアルメンバーであるならこの自爆テロが非難はましくらないかあるいは断定するか両方ともである
事実8: 仮にこの自爆テロは一次資料であるとすればトライアルメンバーだ
事実9: 仮にこの正面がトライアルメンバーであるならばこの自爆テロは非難がましいかもしくは断定するかどちらもだ
事実10: この正面が一次資料ならばこの自爆テロは一次資料だ

仮説: この自爆テロが非難はましくらないかまたは断定するか両方だ
1. 事実7と事実1から、仮説が導かれる

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