この決算公告は随喜しない
fact1: もしこの決算公告は処刑しないしそれに飛び付くということはないとすればそれは随喜する fact2: 「この決算公告は処刑しないし更に飛び付かない」ということは成り立つ
$facts$ = fact1: もしこの決算公告は処刑しないしそれに飛び付くということはないとすればそれは随喜する fact2: 「この決算公告は処刑しないし更に飛び付かない」ということは成り立つ ; $hypothesis$ = この決算公告は随喜しない ; $proof$ = 
事実1: もしこの決算公告は処刑しないしそれに飛び付くということはないとすればそれは随喜する
事実2: 「この決算公告は処刑しないし更に飛び付かない」ということは成り立つ

仮説: この決算公告は随喜しない