「その成型条件は借り易いか味わい深くないかまたは両方だ」ということは本当だ
fact1: その成型条件は滑り易くない fact2: もしその成型条件は滑り易くないなら「それは借り易いかもしくはそれは味わい深くないかまたはどちらもだ」ということは間違いだ
$facts$ = fact1: その成型条件は滑り易くない fact2: もしその成型条件は滑り易くないなら「それは借り易いかもしくはそれは味わい深くないかまたはどちらもだ」ということは間違いだ ; $hypothesis$ = 「その成型条件は借り易いか味わい深くないかまたは両方だ」ということは本当だ ; $proof$ = 
事実1: その成型条件は滑り易くない
事実2: もしその成型条件は滑り易くないなら「それは借り易いかもしくはそれは味わい深くないかまたはどちらもだ」ということは間違いだ

仮説: 「その成型条件は借り易いか味わい深くないかまたは両方だ」ということは本当だ