「「もし仮に「掛け易くなくてまた敬遠でない」ということは誤っているとすると「通い始める」ということは成り立つ」物はある」ということは成り立たない
fact1: 仮に「そのキリスト降誕は掛け易くないしその上それは敬遠でない」ということは誤りであるなら通い始める
$facts$ = fact1: 仮に「そのキリスト降誕は掛け易くないしその上それは敬遠でない」ということは誤りであるなら通い始める ; $hypothesis$ = 「「もし仮に「掛け易くなくてまた敬遠でない」ということは誤っているとすると「通い始める」ということは成り立つ」物はある」ということは成り立たない ; $proof$ = 
事実1: 仮に「そのキリスト降誕は掛け易くないしその上それは敬遠でない」ということは誤りであるなら通い始める

仮説: 「「もし仮に「掛け易くなくてまた敬遠でない」ということは誤っているとすると「通い始める」ということは成り立つ」物はある」ということは成り立たない