「そのファイルフォーマットは年老いないが落ち度である」ということは間違いである
fact1: あのレス・ポール・タイプはチェックマークであるとすると「そのファイルフォーマットは年老いないけど落ち度だ」ということは確かである fact2: あのレス・ポール・タイプはチェックマークだ
$facts$ = fact1: あのレス・ポール・タイプはチェックマークであるとすると「そのファイルフォーマットは年老いないけど落ち度だ」ということは確かである fact2: あのレス・ポール・タイプはチェックマークだ ; $hypothesis$ = 「そのファイルフォーマットは年老いないが落ち度である」ということは間違いである ; $proof$ = 
事実1: あのレス・ポール・タイプはチェックマークであるとすると「そのファイルフォーマットは年老いないけど落ち度だ」ということは確かである
事実2: あのレス・ポール・タイプはチェックマークだ

仮説: 「そのファイルフォーマットは年老いないが落ち度である」ということは間違いである