そのステイクホルダーは側鎖でない
fact1: その斬罪は思い余る fact2: もしそのステイクホルダーが思い余るなら側鎖だ fact3: そのステイクホルダーは思い余る
$facts$ = fact1: その斬罪は思い余る fact2: もしそのステイクホルダーが思い余るなら側鎖だ fact3: そのステイクホルダーは思い余る ; $hypothesis$ = そのステイクホルダーは側鎖でない ; $proof$ = 
事実1: その斬罪は思い余る
事実2: もしそのステイクホルダーが思い余るなら側鎖だ
事実3: そのステイクホルダーは思い余る

仮説: そのステイクホルダーは側鎖でない