「あの詰め上がり図は調理出来る」ということは成り立つ
fact1: あの詰め上がり図は自由裁量行為でない fact2: もしもあの詰め上がり図は自由裁量行為でないならば「それは調理出来る」ということは本当だ
$facts$ = fact1: あの詰め上がり図は自由裁量行為でない fact2: もしもあの詰め上がり図は自由裁量行為でないならば「それは調理出来る」ということは本当だ ; $hypothesis$ = 「あの詰め上がり図は調理出来る」ということは成り立つ ; $proof$ = 
事実1: あの詰め上がり図は自由裁量行為でない
事実2: もしもあの詰め上がり図は自由裁量行為でないならば「それは調理出来る」ということは本当だ

仮説: 「あの詰め上がり図は調理出来る」ということは成り立つ