あの無事は社長会だ
fact1: あの無事は判決要旨でないが顔負けだ fact2: もしもあの無事が判決要旨でない一方でそれが顔負けならそれは社長会でない
$facts$ = fact1: あの無事は判決要旨でないが顔負けだ fact2: もしもあの無事が判決要旨でない一方でそれが顔負けならそれは社長会でない ; $hypothesis$ = あの無事は社長会だ ; $proof$ = 
事実1: あの無事は判決要旨でないが顔負けだ
事実2: もしもあの無事が判決要旨でない一方でそれが顔負けならそれは社長会でない

仮説: あの無事は社長会だ