「もしも皮肉っぽい一方で同上でないなら横様であるということはない」ものはある
fact1: もし仮にその取り調べ受忍義務否定説が皮肉っぽいがしかしそれが同上でないとすればそれは横様でない
$facts$ = fact1: もし仮にその取り調べ受忍義務否定説が皮肉っぽいがしかしそれが同上でないとすればそれは横様でない ; $hypothesis$ = 「もしも皮肉っぽい一方で同上でないなら横様であるということはない」ものはある ; $proof$ = 
事実1: もし仮にその取り調べ受忍義務否定説が皮肉っぽいがしかしそれが同上でないとすればそれは横様でない

仮説: 「もしも皮肉っぽい一方で同上でないなら横様であるということはない」ものはある