あのＩＥＣは茹でるし更にイスラム原理主義過激派である
fact1: 「あのＩＥＣは茹でる」ということは確かだ fact2: あのＩＥＣはイスラム原理主義過激派である fact3: この御招きはイスラム原理主義過激派だ fact4: あのＩＥＣは売っ払う fact5: 「あの奥広は茹でる」ということは確かだ fact6: あの鍍金文化はイスラム原理主義過激派である
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: 「あのＩＥＣは茹でる」ということは確かだ fact2: あのＩＥＣはイスラム原理主義過激派である fact3: この御招きはイスラム原理主義過激派だ fact4: あのＩＥＣは売っ払う fact5: 「あの奥広は茹でる」ということは確かだ fact6: あの鍍金文化はイスラム原理主義過激派である ; $hypothesis$ = あのＩＥＣは茹でるし更にイスラム原理主義過激派である ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: 「あのＩＥＣは茹でる」ということは確かだ
事実2: あのＩＥＣはイスラム原理主義過激派である
事実3: この御招きはイスラム原理主義過激派だ
事実4: あのＩＥＣは売っ払う
事実5: 「あの奥広は茹でる」ということは確かだ
事実6: あの鍍金文化はイスラム原理主義過激派である

仮説: あのＩＥＣは茹でるし更にイスラム原理主義過激派である
1. 事実1と事実2から、仮説が導かれる

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