もし「この形式的意味は深くないけれど言語障害である」ということは誤っているならそれは窓下でない
fact1: 「あるものは深くないがそれは言語障害だ」ということは成り立たないとすれば「それは窓下であるということはない」ということは真実だ
$facts$ = fact1: 「あるものは深くないがそれは言語障害だ」ということは成り立たないとすれば「それは窓下であるということはない」ということは真実だ ; $hypothesis$ = もし「この形式的意味は深くないけれど言語障害である」ということは誤っているならそれは窓下でない ; $proof$ = 
事実1: 「あるものは深くないがそれは言語障害だ」ということは成り立たないとすれば「それは窓下であるということはない」ということは真実だ

仮説: もし「この形式的意味は深くないけれど言語障害である」ということは誤っているならそれは窓下でない