もし仮にこの足切りは明るくないならば「チャイナマンズ・ハットでないか一する」ということは成り立たない
fact1: もしなんらかのものは明るいとすれば「それはチャイナマンズ・ハットでないかあるいは一するかもしくは両方だ」ということは嘘だ fact2: もしなにがしかのものは食い慣れないとしたら「それは数詞でないかまたは立て易い」ということは成り立たない fact3: もしもとあるものはチャイナマンズ・ハットでないとすれば「それはシックスでないかまたは貯金する」ということは誤っている fact4: あの作法は生すということはないとしたら「それは詩ちゃんでないかあるいはそれは明るい」ということは間違いである fact5: 仮に「この足切りは明るい」ということは真実ならば「チャイナマンズ・ハットでないかまたは一するかどちらもだ」ということは間違いである fact6: もしもこの足切りが明るくないとすればそれはチャイナマンズ・ハットであるということはないかもしくは一するかまたは両方だ fact7: とある物は明るくないならば「それはチャイナマンズ・ハットでないかそれは一する」ということは本当でない fact8: 明るくない物はチャイナマンズ・ハットだ fact9: もしもなにがしかの物が明るいということはないならそれはチャイナマンズ・ハットでないかあるいは一するかあるいは両方ともだ fact10: 仮にこの足切りが明るくないとするとチャイナマンズ・ハットである
fact7 -> hypothesis;
もし仮にあの三十秒以上はチャイナマンズ・ハットであるということはないならば「それはシックスでないかあるいは貯金するか両方ともである」ということは正しくない
fact11 -> hypothesis;
$facts$ = fact1: もしなんらかのものは明るいとすれば「それはチャイナマンズ・ハットでないかあるいは一するかもしくは両方だ」ということは嘘だ fact2: もしなにがしかのものは食い慣れないとしたら「それは数詞でないかまたは立て易い」ということは成り立たない fact3: もしもとあるものはチャイナマンズ・ハットでないとすれば「それはシックスでないかまたは貯金する」ということは誤っている fact4: あの作法は生すということはないとしたら「それは詩ちゃんでないかあるいはそれは明るい」ということは間違いである fact5: 仮に「この足切りは明るい」ということは真実ならば「チャイナマンズ・ハットでないかまたは一するかどちらもだ」ということは間違いである fact6: もしもこの足切りが明るくないとすればそれはチャイナマンズ・ハットであるということはないかもしくは一するかまたは両方だ fact7: とある物は明るくないならば「それはチャイナマンズ・ハットでないかそれは一する」ということは本当でない fact8: 明るくない物はチャイナマンズ・ハットだ fact9: もしもなにがしかの物が明るいということはないならそれはチャイナマンズ・ハットでないかあるいは一するかあるいは両方ともだ fact10: 仮にこの足切りが明るくないとするとチャイナマンズ・ハットである ; $hypothesis$ = もし仮にこの足切りは明るくないならば「チャイナマンズ・ハットでないか一する」ということは成り立たない ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もしなんらかのものは明るいとすれば「それはチャイナマンズ・ハットでないかあるいは一するかもしくは両方だ」ということは嘘だ
事実2: もしなにがしかのものは食い慣れないとしたら「それは数詞でないかまたは立て易い」ということは成り立たない
事実3: もしもとあるものはチャイナマンズ・ハットでないとすれば「それはシックスでないかまたは貯金する」ということは誤っている
事実4: あの作法は生すということはないとしたら「それは詩ちゃんでないかあるいはそれは明るい」ということは間違いである
事実5: 仮に「この足切りは明るい」ということは真実ならば「チャイナマンズ・ハットでないかまたは一するかどちらもだ」ということは間違いである
事実6: もしもこの足切りが明るくないとすればそれはチャイナマンズ・ハットであるということはないかもしくは一するかまたは両方だ
事実7: とある物は明るくないならば「それはチャイナマンズ・ハットでないかそれは一する」ということは本当でない
事実8: 明るくない物はチャイナマンズ・ハットだ
事実9: もしもなにがしかの物が明るいということはないならそれはチャイナマンズ・ハットでないかあるいは一するかあるいは両方ともだ
事実10: 仮にこの足切りが明るくないとするとチャイナマンズ・ハットである

仮説: もし仮にこの足切りは明るくないならば「チャイナマンズ・ハットでないか一する」ということは成り立たない
1. 事実7から、仮説が導かれる

よって、仮説が証明されました。