「もし仮にこのナオはビキニでないとしたら「「このナオは得難いかもしくはそれはロールする」ということは成り立つ」ということは成り立つということはない」ということは偽だ
fact1: 仮に何らかのものはビキニでないなら「「得難いかもしくはロールするかあるいは両方ともだ」ということは本当だ」ということは間違っている
$facts$ = fact1: 仮に何らかのものはビキニでないなら「「得難いかもしくはロールするかあるいは両方ともだ」ということは本当だ」ということは間違っている ; $hypothesis$ = 「もし仮にこのナオはビキニでないとしたら「「このナオは得難いかもしくはそれはロールする」ということは成り立つ」ということは成り立つということはない」ということは偽だ ; $proof$ = 
事実1: 仮に何らかのものはビキニでないなら「「得難いかもしくはロールするかあるいは両方ともだ」ということは本当だ」ということは間違っている

仮説: 「もし仮にこのナオはビキニでないとしたら「「このナオは得難いかもしくはそれはロールする」ということは成り立つ」ということは成り立つということはない」ということは偽だ