この大戦景気は固い
fact1: この大戦景気は九十八ページ参照である fact2: 「あのスピーチは九十八ページ参照だ」ということは本当であるとすればこの大戦景気は固い fact3: あのスピーチは押し付けがましい fact4: もしこの大戦景気が九十八ページ参照ならばあのスピーチは固い fact5: 「あのスピーチは彩る」ということは正しい fact6: あの外交は固い fact7: あのスピーチは九十八ページ参照だ fact8: あのスピーチは固い
fact2 & fact7 -> hypothesis;
fact2 & fact7 -> hypothesis;
$facts$ = fact1: この大戦景気は九十八ページ参照である fact2: 「あのスピーチは九十八ページ参照だ」ということは本当であるとすればこの大戦景気は固い fact3: あのスピーチは押し付けがましい fact4: もしこの大戦景気が九十八ページ参照ならばあのスピーチは固い fact5: 「あのスピーチは彩る」ということは正しい fact6: あの外交は固い fact7: あのスピーチは九十八ページ参照だ fact8: あのスピーチは固い ; $hypothesis$ = この大戦景気は固い ; $proof$ = 
fact2 & fact7 -> hypothesis; __PROVED__
事実1: この大戦景気は九十八ページ参照である
事実2: 「あのスピーチは九十八ページ参照だ」ということは本当であるとすればこの大戦景気は固い
事実3: あのスピーチは押し付けがましい
事実4: もしこの大戦景気が九十八ページ参照ならばあのスピーチは固い
事実5: 「あのスピーチは彩る」ということは正しい
事実6: あの外交は固い
事実7: あのスピーチは九十八ページ参照だ
事実8: あのスピーチは固い

仮説: この大戦景気は固い
1. 事実2と事実7から、仮説が導かれる

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