このガトー・ショコラは算定出来るしおまけにμＬである
fact1: 算定出来るしおまけにμＬであるという物はない
$facts$ = fact1: 算定出来るしおまけにμＬであるという物はない ; $hypothesis$ = このガトー・ショコラは算定出来るしおまけにμＬである ; $proof$ = 
事実1: 算定出来るしおまけにμＬであるという物はない

仮説: このガトー・ショコラは算定出来るしおまけにμＬである