「罹り易くないとすると「ぎごちないけど時鳥でない」ということは成り立たない」ものはある
fact1: もし仮にそのタイ国は罹り易くないなら「それはぎごちなくてまた時鳥でない」ということは誤りだ
$facts$ = fact1: もし仮にそのタイ国は罹り易くないなら「それはぎごちなくてまた時鳥でない」ということは誤りだ ; $hypothesis$ = 「罹り易くないとすると「ぎごちないけど時鳥でない」ということは成り立たない」ものはある ; $proof$ = 
事実1: もし仮にそのタイ国は罹り易くないなら「それはぎごちなくてまた時鳥でない」ということは誤りだ

仮説: 「罹り易くないとすると「ぎごちないけど時鳥でない」ということは成り立たない」ものはある