あの外国映画は約言しない
fact1: 「あの無効・取り消しは約言する」ということは真実だ fact2: 「あの外国映画は約言する」ということは真実だ
$facts$ = fact1: 「あの無効・取り消しは約言する」ということは真実だ fact2: 「あの外国映画は約言する」ということは真実だ ; $hypothesis$ = あの外国映画は約言しない ; $proof$ = 
事実1: 「あの無効・取り消しは約言する」ということは真実だ
事実2: 「あの外国映画は約言する」ということは真実だ

仮説: あの外国映画は約言しない