「「あの逆機能は危ういしそれに戻り易い」ということは誤りだ」ということは誤りでない
fact1: 「もし仮にある物は頷き掛けるとすれば「あの逆機能は危うくて戻り易い」ということは事実と異なる」ということは真実だ fact2: 「頷き掛ける」物はある
$facts$ = fact1: 「もし仮にある物は頷き掛けるとすれば「あの逆機能は危うくて戻り易い」ということは事実と異なる」ということは真実だ fact2: 「頷き掛ける」物はある ; $hypothesis$ = 「「あの逆機能は危ういしそれに戻り易い」ということは誤りだ」ということは誤りでない ; $proof$ = 
事実1: 「もし仮にある物は頷き掛けるとすれば「あの逆機能は危うくて戻り易い」ということは事実と異なる」ということは真実だ
事実2: 「頷き掛ける」物はある

仮説: 「「あの逆機能は危ういしそれに戻り易い」ということは誤りだ」ということは誤りでない