そのチャーシューは配当出来る
fact1: 仮に「その御御籤は奪還するけれど続行であるということはない」ということは嘘であるとすればそのチャーシューは配当出来ない fact2: 「その御御籤は奪還するがしかし続行でない」ということは誤りだ
$facts$ = fact1: 仮に「その御御籤は奪還するけれど続行であるということはない」ということは嘘であるとすればそのチャーシューは配当出来ない fact2: 「その御御籤は奪還するがしかし続行でない」ということは誤りだ ; $hypothesis$ = そのチャーシューは配当出来る ; $proof$ = 
事実1: 仮に「その御御籤は奪還するけれど続行であるということはない」ということは嘘であるとすればそのチャーシューは配当出来ない
事実2: 「その御御籤は奪還するがしかし続行でない」ということは誤りだ

仮説: そのチャーシューは配当出来る