「もし仮に泥濘むないとすると移民でないがしかし航空写真な」ものはある
fact1: もしも「その文脈自由言語は泥濘むない」ということは成り立つとしたら移民だということはないけど航空写真である
$facts$ = fact1: もしも「その文脈自由言語は泥濘むない」ということは成り立つとしたら移民だということはないけど航空写真である ; $hypothesis$ = 「もし仮に泥濘むないとすると移民でないがしかし航空写真な」ものはある ; $proof$ = 
事実1: もしも「その文脈自由言語は泥濘むない」ということは成り立つとしたら移民だということはないけど航空写真である

仮説: 「もし仮に泥濘むないとすると移民でないがしかし航空写真な」ものはある