「もし「焦点化するということはないし加えて手広くない」ということは成り立たないとすると御目見得する」ものはある
fact1: もし「「そのＯＳＶは焦点化するということはないし手広くない」ということは成り立つ」ということは嘘だとしたらそれは御目見得する
$facts$ = fact1: もし「「そのＯＳＶは焦点化するということはないし手広くない」ということは成り立つ」ということは嘘だとしたらそれは御目見得する ; $hypothesis$ = 「もし「焦点化するということはないし加えて手広くない」ということは成り立たないとすると御目見得する」ものはある ; $proof$ = 
事実1: もし「「そのＯＳＶは焦点化するということはないし手広くない」ということは成り立つ」ということは嘘だとしたらそれは御目見得する

仮説: 「もし「焦点化するということはないし加えて手広くない」ということは成り立たないとすると御目見得する」ものはある