あの両手足は御叱らないしかつ飛び回り始めない
fact1: とあるものはモジュラーでない fact2: 仮に「モジュラーでない」ものはあるとすれば「あの両手足は御叱るということはなくてまた飛び回り始めない」ということは誤っている
$facts$ = fact1: とあるものはモジュラーでない fact2: 仮に「モジュラーでない」ものはあるとすれば「あの両手足は御叱るということはなくてまた飛び回り始めない」ということは誤っている ; $hypothesis$ = あの両手足は御叱らないしかつ飛び回り始めない ; $proof$ = 
事実1: とあるものはモジュラーでない
事実2: 仮に「モジュラーでない」ものはあるとすれば「あの両手足は御叱るということはなくてまた飛び回り始めない」ということは誤っている

仮説: あの両手足は御叱らないしかつ飛び回り始めない