「このビットマップフォントはＬＥでない」ということは事実だ
fact1: このビットマップフォントはＬＥだ
$facts$ = fact1: このビットマップフォントはＬＥだ ; $hypothesis$ = 「このビットマップフォントはＬＥでない」ということは事実だ ; $proof$ = 
事実1: このビットマップフォントはＬＥだ

仮説: 「このビットマップフォントはＬＥでない」ということは事実だ