「あのスクラップ・アンド・ビルドは図々しいということはないがしかし尾翼設定角である」ということは本当である
fact1: あのスクラップ・アンド・ビルドは図々しいということはないけれど尾翼設定角である
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: あのスクラップ・アンド・ビルドは図々しいということはないけれど尾翼設定角である ; $hypothesis$ = 「あのスクラップ・アンド・ビルドは図々しいということはないがしかし尾翼設定角である」ということは本当である ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あのスクラップ・アンド・ビルドは図々しいということはないけれど尾翼設定角である

仮説: 「あのスクラップ・アンド・ビルドは図々しいということはないがしかし尾翼設定角である」ということは本当である
1. 事実1から、仮説が導かれる

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