この不当利得はバーディでない
fact1: 「この不当利得はバーディである」ということは事実と異なるということはない
$facts$ = fact1: 「この不当利得はバーディである」ということは事実と異なるということはない ; $hypothesis$ = この不当利得はバーディでない ; $proof$ = 
事実1: 「この不当利得はバーディである」ということは事実と異なるということはない

仮説: この不当利得はバーディでない