「もしも名乗り合わないとしたら「痛み易いがしかし摘出しない」ということは成り立たない」ものはある
fact1: その循環置換は名乗り合わないなら「それは痛み易いが摘出しない」ということは偽だ
$facts$ = fact1: その循環置換は名乗り合わないなら「それは痛み易いが摘出しない」ということは偽だ ; $hypothesis$ = 「もしも名乗り合わないとしたら「痛み易いがしかし摘出しない」ということは成り立たない」ものはある ; $proof$ = 
事実1: その循環置換は名乗り合わないなら「それは痛み易いが摘出しない」ということは偽だ

仮説: 「もしも名乗り合わないとしたら「痛み易いがしかし摘出しない」ということは成り立たない」ものはある