「「この量質は大辞林であるしその上抽出・特定する」ということは嘘だ」ということは成り立つ
fact1: この量質は大辞林だ fact2: この量質は抽出・特定する
$facts$ = fact1: この量質は大辞林だ fact2: この量質は抽出・特定する ; $hypothesis$ = 「「この量質は大辞林であるしその上抽出・特定する」ということは嘘だ」ということは成り立つ ; $proof$ = 
事実1: この量質は大辞林だ
事実2: この量質は抽出・特定する

仮説: 「「この量質は大辞林であるしその上抽出・特定する」ということは嘘だ」ということは成り立つ