この樹種は懲戒権でない
fact1: この樹種は恥肉だ fact2: 仮にこの樹種は恥肉であるとすると懲戒権だ
$facts$ = fact1: この樹種は恥肉だ fact2: 仮にこの樹種は恥肉であるとすると懲戒権だ ; $hypothesis$ = この樹種は懲戒権でない ; $proof$ = 
事実1: この樹種は恥肉だ
事実2: 仮にこの樹種は恥肉であるとすると懲戒権だ

仮説: この樹種は懲戒権でない